uuverifiers/princess

The Princess Theorem Prover

语言：Scala · GitHub 星标：37 · Fork：10

话题：logic · smt · smt-lib · smt-solver · theorem-prover

在 GitHub 上查看原仓库