libcnf is a light-weight C++ library that, essentially, is a wrapper around the SAT-solver zchaff to handle and manipulate arbitrary Boolean formulas represented in clause normal form (CNF). You need to download and install zchaff in order to use libcnf.
libcnf is available as C++ source: libcnf-0.0.1.tar.gz (390 KB)
Before you proceed, please install zchaff, make sure its library, libsat.la, is in your library path, and that its sources reside in libcnf/zchaff. libcnf needs to access the library as well as the sources of zchaff! It won't work otherwise.
Is all here.
You may want to extend libcnf, fix a bug, or simply examine the development files. In this case, you're well advised not (!) to work with the tarball above, but use the SVN files instead. You can check out libcnf's source by invoking
svn --username anonymous co https://svnbroy.informatik.tu-muenchen.de/baueran/src/libcnf
When prompted for a password, simply hit the enter-key. The source should then be in a directory libcnf.
Copyright © 2005 Andreas Bauer
libcnf is released under the terms of the GNU General Public License. For more information, see the README and COPYING documents provided with the package.
| Andreas Bauer, <baueran@in.tum.de> Last modified: Fri Dec 30 17:14:43 2005 |
|