Download of boolmin-0.9-linux-i386.tar.bz2 (boolmin-0.9-linux-i386.tar.bz2 ( external link: SF.net): 298,100 bytes) will begin shortly. If not so, click link on the left.
osi: Examples for creating software written in C++ that uses GTK+2.0 (Win32 and Linux). Build environment: GNU autotools with g++; MSVC --- boolmin: A Boolean Minimizer for Win32, Linux, UNIX --- emacs: XEmacs extensions designed to work on many machines
