Explore projects
-
-
A project to implement crisys2, a new tool for rewriting induction over LCTRSs
Updated -
Updated
-
combsql / combsqlplus
MIT LicenseCombSQL+: a solver for combnatorial optimization problems described in SQL based language
Updated -
Updated
-