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.
Be the first to post a text review of Joint Generation algorithm in Lisp. Rate and review a project by clicking thumbs up or thumbs down in the right column.
A new release of CL-JOINTGEN has been made, which bundles the numerous fixes and improvements available in SVN in a convenient tar.gz file. This release also contains a directory with example code that demonstrates how user-defined oracles that are written in C or C++ can be used from the LISP side (using CFFI and SWIG). This is known to work for Allegro Common Lisp and SBCL. CL-JOINTGEN is a Common Lisp 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...). It is open source and features user-replaceable oracles to facilititate easy experimentation with your favourite monotone function problem.
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?