regb/scabolic

Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.

语言：Scala · GitHub 星标：33 · Fork：4

在 GitHub 上查看原仓库