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