ipasir-sys 0.3.0

A Rust crate that contains FFI bindings for IPASIR-compatible SAT solvers.
Documentation 
1
2
3
4
5
6
7

all:
	@echo "makefile: use 'make verbose' for verbose output"
	@scripts/mkall.sh|grep 'mkone'
verbose:
	scripts/mkall.sh
clean:
	scripts/mkcln.sh