Tree [31b1de] release-2008-03-28 /
History



File Date Author Commit
instances 2007-09-24 Utz-Uwe Haus Utz-Uwe Haus [60f543] remove initial QUOTE, so we can READ the file
AUTHORS 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
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-03-28 Utz-Uwe Haus Utz-Uwe Haus [6b9040] Automatically generate documentation when gener...
NEWS 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
README 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
TODO 2008-03-28 Utz-Uwe Haus Utz-Uwe Haus [6b9040] Automatically generate documentation when gener...
autogen.sh 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
cl-jointgen.asd 2008-03-26 Utz-Uwe Haus Utz-Uwe Haus [1a0ce7] fix dependencies
clause-sets.lisp 2008-03-26 Utz-Uwe Haus Utz-Uwe Haus [78a44b] Avoid recomputing variable frequencies: save an...
clause.lisp 2008-03-26 Utz-Uwe Haus Utz-Uwe Haus [12918e] nits
configure.ac 2008-03-28 Utz-Uwe Haus Utz-Uwe Haus [6b9040] Automatically generate documentation when gener...
duality-check.lisp 2008-03-26 Utz-Uwe Haus Utz-Uwe Haus [bcca33] (check-conditional-expectations): Avoid computa...
examples.lisp 2008-03-26 Utz-Uwe Haus Utz-Uwe Haus [5e1964] (make-jg-problem/hg-oracle): drop useless first...
generate-documentation.lisp 2008-03-14 Utz-Uwe Haus Utz-Uwe Haus [ed1c78] Clarify Copyleft boilerplate
jg.lisp 2008-03-20 Utz-Uwe Haus Utz-Uwe Haus [dab16f] minor speedup through type annotations.
oracles.lisp 2008-03-21 Utz-Uwe Haus Utz-Uwe Haus [e57a70] prepare another oracle
package.lisp 2008-03-28 Utz-Uwe Haus Utz-Uwe Haus [6b9040] Automatically generate documentation when gener...
tablecases.lisp 2008-03-17 Utz-Uwe Haus Utz-Uwe Haus [5f2ce4] fix sbcl style warning

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.


$Id$