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.
Categories
MathematicsLicense
GNU General Public License version 2.0 (GPLv2)Follow Joint Generation algorithm in Lisp
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Joint Generation algorithm in Lisp!