Simple console SAT-solver that utilizes DPLL algorithm and DIMACS input/output format.
- dotnet SDK (recommended version 7.0) for build and run
- picosat tool for testing
-
Navigate to the directory:
cd MySat/
-
Provide the relative or absolute path to input data in DIMACS format and run as follows:
dotnet run examples/example.cnf
The result of the above command:
s SATISFIABLE
v 1 -2 3 0
-
Navigate to the directory:
cd MySat/
-
Build the library using dotnet tools:
dotnet build
or build in release configuration:
dotnet build --configuration Release
-
Navigate to the directory:
cd MySat/
-
Make test script executable:
chmod +x ./test.sh
-
Provide the relative or absolute path to input data in DIMACS format and run script as follows:
./test.sh examples/example.cnf