M

micro-smt

Project information

A tiny SMT with its own SAT solver capable of solving inequalities on the integers

10 Commits
1 Branch
0 Tags

Created on

February 20, 2020

Loading