Blogic

This is the homepage of a little proof-construction program I made

Installation:
Download the windows or linux archive.

OBSERVE: The preferred version is the Linux-version. The windows version has some problems (selection of logic-lines not showing and reports of the program not running on Windows XP).

Decompress the archive to a directory of your choosing
Linux: First set $QTDIR to your directory of qt (typically /opt/qt or /usr/lib/qt)
export QTDIR=(your qt directory)
Then type:
make

Windows:
The windows archive contains a precompiled binary, so you're finished after decompressing the archive

And a little screenshot of the program in action: