About Logic Box

This is Logic Box version 2, release #2, written by Orphi the AweKid, 31 May 2012.

This program is written in Java™ 6.

You may use this software for any purpose, and copy/distribute it in any way, provided that two conditions are met:

1. You must not alter the software in any way.
2. You must not claim that the software is your own work.

This software is not guaranteed to work correctly. Use it at your own risk.

Change since previous release

• SSubset{}: Fix severe bug.
• Label temporary variables with their original names as subscripts.
• File requesters remember previous location.
• Disallow deleting primitive predicates.