OKlib::LinearInequalities Namespace Reference

Module with active clause-sets for linear inequalities. More...

---

Detailed Description

Module with active clause-sets for linear inequalities.