/blocks-world

A program to convert planning problems from the "blocks world" into Dimacs CNF and solve them with a SAT solver.

Primary LanguageC++MIT LicenseMIT

Stargazers