An implementation of the Joint Generation Algorithm of Fredman and Khachiyan for the computation of a dual pair of monotone boolean formulas in DNF (hypergraph transversals, extreme rays of polyhedral cones...). User-replaceable oracle.
Follow Joint Generation algorithm in Lisp
Rate This ProjectLogin To Rate This Project
Be the first to post a review of Joint Generation algorithm in Lisp!