search

bjur / SAT_solver

0 stars 0 forks source link

CNF formula example #3

Closed jaanos closed 8 years ago

jaanos commented 8 years ago

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.

Tilenk commented 8 years ago

Example added, see README.

bjur commented 8 years ago

Remaining examples added, also a line of code was commented out in wrapper file (run.py) for a more clear way of dealing with input files.