smtlib-lowlevel 0.1.8

A low-level API for interacting with SMT solvers
Documentation 
{
  "git": {
    "sha1": "e64763d443ea9dc60974c79a84f9f904cd2564e6"
  },
  "path_in_vcs": "lowlevel"
}