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
) insrc/solvers/tests/
folder: