Download of boolmin-setup-0-9-3.exe (boolmin-setup-0-9-3.exe ( external link: SF.net): 755,860 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
