splr 0.1.4

A pure rustic CDCL SAT solver based on Glucose
Documentation 
{
  "git": {
    "sha1": "fa5cf073976b4273237fc31739712946c759b7fd"
  }
}