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".