elsoroka/Satisfiability.jl

Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.

语言：Julia · GitHub 星标：56 · Fork：10

话题：satisfiability-modulo-theories · smt-lib

在 GitHub 上查看原仓库