This project contains two variants of the iMira solver: The first is able to decide Boolean combinations of linear equations and inequations. The second (also called iSat2) decides - for cases this is possible - also non-linear logics.
[View Members]
[Request to join]
Project Home Page
Tracker
Mailing Lists
Task Manager
SCM Repository
