Overview
SiSAT is an extension of the iSAT constraint solver to existential, universal and randomized quantification of finite-domain variables.
Downloads: SiSAT Linux binaries, SiSAT Manual, SiSAT Examples
SiSAT is an extension of the iSAT constraint solver to existential, universal and randomized quantification of finite-domain variables.
Downloads: SiSAT Linux binaries, SiSAT Manual, SiSAT Examples