Tree [68c61b] release-2008-12-01 /
History



File Date Author Commit
c-interface 2008-11-28 Utz-Uwe Haus Utz-Uwe Haus [a70353] Fix SBCL foreign library support.
instances 2008-03-31 Utz-Uwe Haus Utz-Uwe Haus [b93b61] (.run-timed-test-instances): New
.gitignore 2008-12-01 Utz-Uwe Haus Utz-Uwe Haus [bc59ac] Implement clutter and JG statistics generation.
AUTHORS 2008-11-26 Utz-Uwe Haus Utz-Uwe Haus [bd7cb6] Update docs for release
ChangeLog 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
INSTALL 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [d71501] add INSTALL file
LICENSE.GPL 2008-03-13 Utz-Uwe Haus Utz-Uwe Haus [5f7005] clarified licensing
LICENSE.Lisp-GPL-Preface 2008-03-13 Utz-Uwe Haus Utz-Uwe Haus [5f7005] clarified licensing
Makefile.am 2008-12-01 Utz-Uwe Haus Utz-Uwe Haus [bc59ac] Implement clutter and JG statistics generation.
NEWS 2008-11-26 Utz-Uwe Haus Utz-Uwe Haus [bd7cb6] Update docs for release
README 2008-11-26 Utz-Uwe Haus Utz-Uwe Haus [bd7cb6] Update docs for release
TODO 2008-11-17 Utz-Uwe Haus Utz-Uwe Haus [b8d89e] Finish cffi example for nnieq oracle
autogen.sh 2008-11-26 Utz-Uwe Haus Utz-Uwe Haus [9b9901] Fix dependencies in preparation for Fall 2008 r...
cl-jointgen.asd 2008-11-26 Utz-Uwe Haus Utz-Uwe Haus [9b9901] Fix dependencies in preparation for Fall 2008 r...
clause-sets.lisp 2008-12-01 Utz-Uwe Haus Utz-Uwe Haus [a15092] Clutter, Clause and JG Problem printing improved.
clause.lisp 2008-12-01 Utz-Uwe Haus Utz-Uwe Haus [a15092] Clutter, Clause and JG Problem printing improved.
configure.ac 2008-12-01 Utz-Uwe Haus Utz-Uwe Haus [bc59ac] Implement clutter and JG statistics generation.
duality-check.lisp 2008-11-26 Utz-Uwe Haus Utz-Uwe Haus [9b9901] Fix dependencies in preparation for Fall 2008 r...
examples.lisp 2008-11-26 Utz-Uwe Haus Utz-Uwe Haus [9b9901] Fix dependencies in preparation for Fall 2008 r...
generate-documentation.lisp 2008-03-14 Utz-Uwe Haus Utz-Uwe Haus [ed1c78] Clarify Copyleft boilerplate
init.lisp 2008-11-28 Utz-Uwe Haus Utz-Uwe Haus [168496] cleanup debris of interrupted git-svn operation
jg.lisp 2008-12-01 Utz-Uwe Haus Utz-Uwe Haus [a15092] Clutter, Clause and JG Problem printing improved.
oracles.lisp 2008-11-22 Utz-Uwe Haus Utz-Uwe Haus [02a597] Add table-based dualization.
package.lisp 2008-11-17 Utz-Uwe Haus Utz-Uwe Haus [b8d89e] Finish cffi example for nnieq oracle
perm-minors.lisp 2008-10-28 Utz-Uwe Haus Utz-Uwe Haus [4eabf4] minor cleanups
tablecases.lisp 2008-11-26 Utz-Uwe Haus Utz-Uwe Haus [9b9901] Fix dependencies in preparation for Fall 2008 r...
trivial-garbage.lisp 2008-11-17 Utz-Uwe Haus Utz-Uwe Haus [d75530] Add finalization to foreign objects.

Read Me

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. 



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$