IagoAbal/haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

语言：Haskell · GitHub 星标：65 · Fork：46

话题：api · haskell · smt · z3

在 GitHub 上查看原仓库