Minimizing Conjunctive Forms

Although this page is under construction, don't expect it to change too soon. I guess I won't touch it, unless I get too much feedback encouraging me to do so ...

The Text
- in DVI-format (about 130Kb)
- in PostScript(600dpi) (about 880Kb)
  (download this only if you cannot handle DVI-files)
The Example Implementation. It is ugly, undocumented and incomplete, but if you know Tcl/Tk you can have a look at the source and try to figure out what it does and where to click which mouse-button.
- towards a "README-file"
- the bundle (tarred and gzipped) (about 7Kb)
- a sample screenshot
- the single files
You need Tcl/Tk (Version 7.4/4.0 or later) to run the program.

Navigation:

To My Home Page.
Email: avl@logic.at

Last modified 16.6.97 (AvL)