Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
cl-jointgen-2013-04-30.tar.gz | 2013-04-30 | 29.4 MB | |
README | 2013-04-30 | 2.5 kB | |
Totals: 2 Items | 29.4 MB | 0 |
cl-jointgen -- a Common Lisp implementation of the joint generation algorithm ----------------------------------------------------------------------------- This package contains an implementation of the simple variant (`Algorithm A') of the Fredman-Khachian Joint-Generation method for dualizing monotone boolean functions. Please check <http://primaldual.de/cl-jointgen/> for documentation and <https://sourceforge.net/projects/cl-jointgen/> for bug tracker, file releases and Git repository. Legalese -------- The code is provided under the assumption that it may be useful, but WITHOUT WARRANTY, EXCEPT WHEN OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. This code is released under the GNU Public License, see LICENSE.GPL with Lisp prequel as set forth in LICENSE.Lisp-GPL-Preface, which is close to the LLGPL of Franz. Inc. This is intended to further research, by forcing you to release the source code of your modifications so others can continue on the same track. If you are not ready to follow the GPL route, we (the authors) may be willing to license this code under a different (commercial) license to you. Quickstart ---------- This code is developed under Allegro Common Lisp but also gets tested on SBCL. It actually runs faster with SBCL, even when using the ugly bitvector code on Allegro. Documentation is generated using the atdoc package of David Lichteblau, and can be found in the web/ subdirectory. Try <file:/path/to/this/directory/web/index.html> in your favourite browser to read it. The file example.lisp contains some use cases you might care to try. Hacker instructions and hints ----------------------------- We use automake only to build release .tar.gz files, so you can safely ignore it. If you are changing things it will be useful to enable un it tests. They get run upon load automatically from examples.lisp if you have #+5am on your *features* variable before compiling and loading cl-jointgen.asd. You will need the FiveAM testing framework from <http://common-lisp.net/project/bese/FiveAM.html> To generate documentation we rely on a patched version of David Lichteblau's atdoc package. The original package is at <http://www.lichteblau.com/git/atdoc.git/>, and our patches have mostly been integrated there. $Id$