solhop 0.1.0

SAT and MaxSAT Solver
Documentation
1
2
3
4
5
6
7
8
9
[submodule "rsat"]
	path = rsat
	url = https://github.com/solhop/rsat.git
[submodule "msat"]
	path = msat
	url = https://github.com/solhop/msat.git
[submodule "solhop-types"]
	path = solhop-types
	url = https://github.com/solhop/solhop-types.git