There is a new version of this project here: TrueSAT.

Verified implementation in Dafny of the DPLL algorithm.

Requirements

Dafny 2.3.0.10506

Compilation

make or dafny main.dfy *.cs

Running

./main.exe benchmarks/hole6.cnf

Contributors

• Cezar C. Andrici, Alexandru Ioan Cuza University of Iasi, Romania
• Stefan Ciobaca, Alexandru Ioan Cuza University of Iasi, Romania