regb / scabolicLinks

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

Sorting: