ipasir.h reentrant incremental sat solver API (reverse)
makefile with goals 'all' and 'clean'
scripts/mkone.sh produces one combination of an application and a SAT solver scripts/mkall.sh produces all combinations scripts/mkcln.sh cleans up everything
app application directory sat SAT solver directory bin binaries of all combinations
sat/README explains the SAT solver directory app/README explains the apps directory
LICENSE generic license for parts of this software not explicitly covered by its own license restrictions, which can be found in the corresponding LICENSE or COPYRIGHT file in a sub directory or in a distribution package, such as in an included tar or zip file