sat-solvers 0.1.1

Unified interface to multiple SAT solvers (CaDiCaL, MiniSat, Glucose, Lingeling, Kissat) with automatic source compilation
Documentation
1
2
3
4
EXEC      = glucose-syrup
DEPDIR    = mtl utils core simp
MROOT = $(PWD)/..
include $(MROOT)/mtl/template.mk