MODELS18 edition
Pre-release
Pre-release
Honoring our two contributions to MODLES18, this release contains:
- Verification from the command line! (just pass
--verify) - Better API, based on actual usage by actual users (still from BGU's internal group, true, but users nonetheless)
- Code cleanup
- Updated documentation
- and more (see README, as usual).