OKlibrary  0.2.1.6
OKlib::Satisfiability::Transformers::SATModuloTheories Namespace Reference

Components for active clause-sets with an underlying logical theory. More...


Detailed Description

Components for active clause-sets with an underlying logical theory.

Alias "SmT".