polazarus/z3-installer

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

语言：Shell · GitHub 星标：9 · Fork：1

在 GitHub 上查看原仓库