WSAT(CC) - a local search solver for theories in logic PS+
Download the program from:

Please, send all comments about wsatcc to:

Related papers:

Related software:


Activities discussed on this site are partially supported by the National Science Foundation. Any opinions, findings, and conclusions or recommendations expressed here  are those of the author(s) and do not necessarily reflect the views of the National Science Foundation