huljar/blocks-world
A program to convert planning problems from the "blocks world" into Dimacs CNF and solve them with a SAT solver.
C++MIT
A program to convert planning problems from the "blocks world" into Dimacs CNF and solve them with a SAT solver.
C++MIT