satoxid 0.1.2

Boolean satisfiability problem encoding library written in rust.
Documentation 
{
  "git": {
    "sha1": "426928c49db6e9366888b1c55c356459ce0e115e"
  }
}