cl-jointgen
The CL-JOINTGEN Library provides a Common Lisp implementation of the Joint Generation Algorithm for computing the dual of a monotone boolean function.

cl-jointgen was written by Utz-Uwe Haus and Tamon Stephen. It's homepage with API documentation is located on primaldual.de, and the code is hosted at sourceforge.

cl-jointgen should run under all ANSI compliant Common Lisp Implementations.

cl-jointgen uses asdf.