Compiled under Ubuntu 20.04 LTS.
- sugar http://bach.istc.kobe-u.ac.jp/sugar/
- copris http://bach.istc.kobe-u.ac.jp/copris/
- choco
- abscon
- glueminisat http://glueminisat.nabelab.org/
- minisat http://minisat.se/
- glucose https://www.labri.fr/perso/lsimon/glucose/
- cadical http://fmv.jku.at/cadical/
- symbolic link
- kissat http://fmv.jku.at/kissat/
- symbolic link
- clingo, gringo, clasp https://potassco.org/
- cryptominisat https://github.com/msoos/cryptominisat
- sat4j, sat4j-pb https://www.sat4j.org/
- z3 https://github.com/Z3Prover/z3
- symbolic link
- minisatp https://github.com/niklasso/minisatp