propositional-tableau-solver-rs 0.1.0

{
  "git": {
    "sha1": "a891915f15814d30b9b3ea720a53a0f84377ad87"
  }
}