B

BlackBox

Project information

BlackBox planning as satisfiability system by Henry Kautz and Bart Selman. The system was created in 1997. Changes since then have been limited to those necessary to maintain compatibility with gcc.

32 Commits
1 Branch
0 Tags

README

Created on

May 22, 2018

Loading