Propositional (Boolean) Satisfiability
This page contains links and resources on Propositional (Boolean)
Sites on Propositional Satisfiability
Publicly available SAT packages
Other SAT packages
- 2cl developed by Allen Van Gelder.
- CSAT developed by Olivier Dubois and his group.
- sat package developed at CRIL.
- satz developed by Anbulagan and Chu-Min Li.
Companies selling SAT packages
My work on SAT and related issues
If you have any suggestions of SAT links or resources, please send me an
Joao Marques Silva
(E-mail: email@example.com )
Last modified: Sun Jan 21 13:51:40 2001