Dance Sat is a simple and efficent sat solver written in C for development and experiment.
The basic algorithm leverages the power of C with Knuth's Dancing Links algorithm, with the applied limitation that each clause must contain one correct literal and dependency backtracking.
The next version will include clause learning.
./dance_sat *.cnf fini.cnf will be created, and the results posted to this file.
Compilation can be done simply with ./make.sh