OKlibrary  0.2.1.6
OKlib::LinearInequalities Namespace Reference

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


Detailed Description

Module with active clause-sets for linear inequalities.