SAT-Solver

Development Setup

1- Please install nodejs and yarn first

2- On the project root folder run:

yarn install

3- Start development mode:

yarn dev

In development mode the input should be in DIMACS format.

For example:

p cnf 5 5
4 5
-4 1
-4 2 -3
-5 -2
-5 3

For more details -> click me:)!

yarn test

It contains:

Solid tests(main.test.ts)
Dynamic random generated tests(linear_solver.test.ts & cubic_solver.test.ts) in src/solvers/tests/ folder: