cryptominisat 5.8.0

Rust bindings for CryptoMiniSat, a boolean satisfiability solver
1
2
3
[submodule "cryptominisat"]
	path = cryptominisat
	url = https://github.com/msoos/cryptominisat.git