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
5
6
7
8
9
10
11
12
13
14
15

[submodule "lib/minisat"]
	path = lib/minisat
	url = https://github.com/niklasso/minisat.git
[submodule "lib/glucose"]
	path = lib/glucose
	url = https://github.com/audemard/glucose.git
[submodule "lib/cadical"]
	path = lib/cadical
	url = https://github.com/arminbiere/cadical.git
[submodule "lib/lingeling"]
	path = lib/lingeling
	url = https://github.com/arminbiere/lingeling.git
[submodule "lib/kissat"]
	path = lib/kissat
	url = https://github.com/arminbiere/kissat.git