BatSat-OCaml

OCaml bindings to batsat.

License

MIT licensed.

Name		Name	Last commit message	Last commit date
Latest commit History 62 Commits
.cargo		.cargo
.github/workflows		.github/workflows
examples		examples
src		src
tests		tests
vendor		vendor
.gitconfig		.gitconfig
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
Makefile		Makefile
README.md		README.md
batsat.opam		batsat.opam
build_rust.sh		build_rust.sh
dune		dune
dune-project		dune-project