/incplan

Tool to do SAT Based Planning using an incremental SAT solver.

Primary LanguageC++MIT LicenseMIT

Watchers