ICS: Integrated Canonizer and Solver

Decision procedure for the combination of theories based on Shostak's procedure. See also: ics.csl.sri.com.

Installation

ICS can be installed with opam:

opam pin add https://github.com/SRI-CSL/ICS.git

Alternately, see the build clause of ics.opam for manual build instructions.

Now, the ICS interactor is called using:

$ ics