Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Tree [f24958] release-2008-03-19 /
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-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
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...
autogen.sh 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
cl-jointgen.asd 2008-03-14 Utz-Uwe Haus Utz-Uwe Haus [ed1c78] Clarify Copyleft boilerplate
clause-sets.lisp 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [d1a00f] fix last changes
clause.lisp 2008-03-17 Utz-Uwe Haus Utz-Uwe Haus [273285] reduce consing by passing scratch space to the ...
configure.ac 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
duality-check.lisp 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [d1a00f] fix last changes
examples.lisp 2008-03-16 Utz-Uwe Haus Utz-Uwe Haus [837f9b] Extend mbf-oracle type to a funcallable-standar...
generate-documentation.lisp 2008-03-14 Utz-Uwe Haus Utz-Uwe Haus [ed1c78] Clarify Copyleft boilerplate
jg.lisp 2008-03-17 Utz-Uwe Haus Utz-Uwe Haus [2ccb78] fix errors detected by SBCL
oracles.lisp 2008-03-17 Utz-Uwe Haus Utz-Uwe Haus [2ccb78] fix errors detected by SBCL
package.lisp 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [698f1e] more documentation update
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$