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

Copy SSH clone URLgit@gitlab.com:HenryKautz/BlackBox.git
Copy HTTPS clone URLhttps://gitlab.com/HenryKautz/BlackBox.git