bjur / sat_solver

SAT_solver

Usage

1. Clone the repository
2. Move into "Solver" folder
3. Run: python run.py < dimacs type input file >

Contributors:

Bor Juroš, Tilen Kavčič

Example

´´´ cd ./Test_samples/random_ksat-10.dimacs ´´´

sat_solver's Issues

Output

The output for a satisfiable input should be a just list of integers separated by spaces without any other information.

This will let me simplify my attempt at calling your program - ideally, it should consist of just a single program or function call.

CNF formula example

It appears that you haven't included an example of a CNF formula generated by you, whose satisfiability can be demonstrated by your SAT solver, as requested in the instructions for the homework. Please include one, so I can link to it on the course repository and then use it to run tests.