sat-solvers 0.1.1

Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
Documentation 
1
2
3

PHONY:
	@echo "** Careful ** Since 4.0 you have to use the simp or parallel directory only for typing make"