splr 0.6.1

A modern CDCL SAT solver in Rust
Documentation 
1
2
3
4
5

{
  "git": {
    "sha1": "634008cf13d7af0ca8c3563be50203c9b6472dac"
  }
}