splr 0.1.3

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