Package: de.uuhaus.cl-jointgen

Class monotone-ieq-oracle

Superclasses

mbf-oracle, common-lisp:standard-object, sb-pcl::slot-object, common-lisp:t

Documented Subclasses

None

Documented Direct Slots

linforms/rhss --
Inequalities in >= form

Details

Feasibility oracle for 0/1-satisfiability of Ax >= b for non-negative A