Module Cc

module Cc: sig .. end

Term-level API for Cc_core.

class make : unit -> Solver_api.theory

The EUF solver implements the theory solver API.

Hosted by the

^* web site.
^*Other names and brands may be claimed as the property of others.