Project

General

Profile

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

Members

Manager: Karsten Scheibler