/z3-installer

An installer for older versions of Microsoft Z3 SMT solver and its Ocaml binding under Linux (NOT MAINTAINED)

Primary LanguageShell

Stargazers