judge v0.1.3.0 Release Notes

Release Date: 2018-03-14 // over 4 years ago
  • 🔄 Changed

    * Changed name and description of data files.
    * Fixed bug that caused assumptions not to be simplified.
    

Previous changes from v0.1.2.0

  • 🔄 Changed

    * Logic files in the designated data directories can now be specified 
      without extension, but must not occur in a subdirectory.
    

    ✂ Removed

    * Many previously exposed internal functions are now hidden.