regb / scabolic

Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
32Updated 10 years ago

Alternatives and similar repositories for scabolic:

Users that are interested in scabolic are comparing it to the libraries listed below