Decision procedure for the combination of theories based on Shostak's procedure. See also: ics.csl.sri.com.
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