hyperpolymath/SMTLib.jl

A pure-Julia SMT-LIB 2 interface for building constraints, checking satisfiability, retrieving models and working incrementally with solvers such as Z3, CVC5, Yices and MathSAT.

语言：Julia · GitHub 星标：2 · Fork：0

话题：computational-science · epistemic-computing · epistemic-infrastructure · equivalence-aware-computing · hyperpolymath · julia · julia-package · open-source

在 GitHub 上查看原仓库