primo-solver/primo

Primo: a paper-grounded SMT solver built from first principles.

语言：C++ · GitHub 星标：9 · Fork：2

话题：automated-reasoning · formal-methods · satisfiability-modulo-theories · smt-solver

在 GitHub 上查看原仓库