cnf-parser 0.1.1

Efficient and customizable CNF parser for SAT solving.
Documentation 
{
  "git": {
    "sha1": "48c4018d4bcd0877f75275797b4fffbec75dd160"
  }
}