1. Karnaughizer - Simple Boolean Function Minimizer


1.1. Description

Karnaughizer is a simple boolean function minimizer written in C++. Data and results are presented in the form of a Karnaugh map. Internally Karnaughizer uses Quine-McCluskey algorithm. GUI is based on the FLTK library.

Karnaughizer is known to run on Windows and Linux, and is easily portable to other platforms.

On the right: Karnaughizer on my KDE 3.5 (Debian GNU/Linux).

1.2. Download

Karnaughizer v. 0.3: [Win32 Executable] [Source code]

Changes: Fixed problem with some k-maps; hatching in the coverings, symmetry axes, some minor improvements.

Karnaughizer v. 0.2: [Win32 Executable] [Source code]

Karnaughizer v. 0.1: [Win32 Executable] [Source code]

1.3. Usage

Is trivial. Left/Right click cells of the map to change values. Use the "Solve" button to find the solution. Same colors = same coverings (rectangles/ Karnaugh islands/ ...). Menu bar: "New" to change dimensions, "Help" to read "About" message.

1.4. Copyright and Licensing

Karnaughizer is copyright 2007 by Janusz Kowalski.

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

For the full text of the GNU GPL License see this web page.

Copyright © 2009, 2010, 2014 Janusz Kowalski
Powered by KrotCMS 2.0