sat-solvers 0.1.1

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

# compile and execute with a single 'make' the API tests in '../../build'
test:
	$(MAKE) -C .. api