judge v0.1.3.0 Release NotesRelease Date: 2018-03-14 // over 4 years ago
* Changed name and description of data files. * Fixed bug that caused assumptions not to be simplified.
Previous changes from v0.1.2.0
* Logic files in the designated data directories can now be specified without extension, but must not occur in a subdirectory.
* Many previously exposed internal functions are now hidden.