Package: de.uuhaus.cl-jointgen

Type monotone-ieq-oracle

Details

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