satif-cadical-0.2.2
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

satif-cadical 0.2.2

Rust wrapper for the CaDiCaL SAT solver

Crate
Source
Builds
Feature flags

bindings
cadical
src
.cargo_vcs_info.json
.gitignore
.gitmodules
build.rs
Cargo.lock
Cargo.toml
Cargo.toml.orig
LICENSE

1
2
3

[submodule "cadical"]
	path = cadical
	url = https://github.com/arminbiere/cadical.git