splr-0.10.0
Platform
Feature flags

Rust

splr 0.10.0

A modern CDCL SAT solver in Rust

Crate
Source
Builds
Feature flags

.github
cnfs
src
tests
.cargo_vcs_info.json
.gitignore
.gitlab-ci.yml
Cargo.lock
Cargo.toml
Cargo.toml.orig
ChangeLog.md
flake.lock
flake.nix
LICENSE
README.md

/target
**/*.rs.bk
*.cnf
.ans_*