boolector 0.4.3

Safe high-level bindings for the Boolector SMT solver
Documentation 
{
  "git": {
    "sha1": "775afbd3cf9ca2abbc62a9d7c3c6c8f0d210a731"
  }
}