ipasir-sys 0.3.0

A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.

1
2
3

[submodule "sat/lawa"]
	path = sat/lawa
	url = https://github.com/biotomas/lawa.git