The SiSAT tool is an extension of the iSAT solver to deal with existential and randomized quantification of finite-domain variables.
[View Members]
[Request to join]
Project Home Page
