4 ms·
Non-commercial only. There are several similar projects some of which are really open source: http://smtlib.cs.uiowa.edu/solvers.html http://smtlib.cs.uiowa.edu
by ajb 14y ago
Non-commercial only. There are several similar projects some of which are really open source: http://smtlib.cs.uiowa.edu/solvers.html http://smtlib.cs.uiowa.edu/solvers.html
- sanxiyn 14y agoSadly, none as good as Z3. I'd want to study Z3, even if I'd rather use something else. The current license is good enough for studying.