BoolStuff - Disjunctive Normal Form boolean expression C++ library LICENSE Copyright (C) 2002-2013 Pierre Sarrazin <http://sarrazip.com/> This program is free software distributed under the GNU GPL. See the file COPYING. Please note that this means that proprietary software may not be linked with this library. INTRODUCTION BoolStuff is a small C++ library that supports a few operations on boolean expression binary trees. The main features are: - a boolean expression parser (supports operators AND, OR and NOT, as well as parentheses); - an algorithm to convert a boolean expression binary tree into its Disjunctive Normal Form; - a function that determines if an expression tree is in DNF. A command named `booldnf' that calls this library is also provided. See the BoolStuff Home Page: http://sarrazip.com/dev/boolstuff.html Manual pages (boolstuff.3 and booldnf.1) are provided. INSTALLATION This package is autoconfiscated. See INSTALL for details. The sequence `./configure --prefix=SOME_PREFIX; make; make install' should suffice. USING THIS LIBRARY The `examples' subdirectory of this source archive contains an autoconfiscated example program that uses this library. It assumes that the library has been installed. There is also a Perl script (test-booldnf.pl) that shows how to call the `booldnf' command from a bidirectional pipe.