splr 0.10.0

A modern CDCL SAT solver in Rust
Documentation
{
  "git": {
    "sha1": "6eb33fb8462d529510e9a7642c1e02847daef67f"
  }
}