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 [bb9b11] master /
History



File Date Author Commit
c-interface 2008-11-12 Utz-Uwe Haus Utz-Uwe Haus [0c4d89] Merge branch 'c-interface'
instances 2007-09-24 Utz-Uwe Haus Utz-Uwe Haus [1c6e3b] Some cleanups, default to (speed 3), in prepara...
.gitignore 2008-11-12 Utz-Uwe Haus Utz-Uwe Haus [ee26cb] Clarify docs on how FiveAM testing is to be used.
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 2013-04-30 Utz-Uwe Haus Utz-Uwe Haus [acad27] Prepare for new release
NEWS 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
README 2013-04-30 Utz-Uwe Haus Utz-Uwe Haus [acad27] Prepare for new release
TODO 2008-03-26 Utz-Uwe Haus Utz-Uwe Haus [08a140] add TODO file
autogen.sh 2008-03-19 Utz-Uwe Haus Utz-Uwe Haus [899c6f] add automake/autoconf for easy distribution gen...
cl-jointgen.asd 2007-09-24 Utz-Uwe Haus Utz-Uwe Haus [4d177e] added license boilerplate
clause-sets.lisp 2007-09-16 Utz-Uwe Haus Utz-Uwe Haus [d5aaca] progress in structuring bitvec sets, dumb imple...
clause.lisp 2013-06-27 Utz-Uwe Haus Utz-Uwe Haus [ef8d80] add clause->int/lsb and clause->int/msb functions
configure.ac 2013-04-30 Utz-Uwe Haus Utz-Uwe Haus [acad27] Prepare for new release
duality-check.lisp 2007-09-17 Utz-Uwe Haus Utz-Uwe Haus [8724a4] progress
examples.lisp 2007-09-17 Utz-Uwe Haus Utz-Uwe Haus [960868] debugging started
generate-documentation.lisp 2008-03-12 Utz-Uwe Haus Utz-Uwe Haus [4d8be5] add atdoc automatic documentation support
init.lisp 2008-11-28 Utz-Uwe Haus Utz-Uwe Haus [168496] cleanup debris of interrupted git-svn operation
jg.lisp 2007-09-14 Utz-Uwe Haus Utz-Uwe Haus [f07644] initial framework
o-gk.lisp 2008-12-02 Utz-Uwe Haus Utz-Uwe Haus [ac39cc] Move the oracle implementations to separate files.
o-hypergraphs.lisp 2008-12-02 Utz-Uwe Haus Utz-Uwe Haus [ac39cc] Move the oracle implementations to separate files.
o-permutations.lisp 2008-12-02 Utz-Uwe Haus Utz-Uwe Haus [ac39cc] Move the oracle implementations to separate files.
o-takata.lisp 2008-12-02 Utz-Uwe Haus Utz-Uwe Haus [ac39cc] Move the oracle implementations to separate files.
o-tfreq.lisp 2009-05-11 Utz-Uwe Haus Utz-Uwe Haus [f34a64] Add t-frequent set oracle.
oracles.lisp 2013-07-19 Utz-Uwe Haus Utz-Uwe Haus [bb9b11] Fix monotone-ieq-oracle
package.lisp 2013-04-30 Utz-Uwe Haus Utz-Uwe Haus [acad27] Prepare for new release
perm-minors.lisp 2008-10-28 Utz-Uwe Haus Utz-Uwe Haus [4eabf4] minor cleanups
tablecases.lisp 2007-11-26 Utz-Uwe Haus Utz-Uwe Haus [71c991] add infrastructure for tabular lookup of small ...
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. 

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$