The 0.3.0 release brings numerous fixes and enhancements. Grab the ks2-bin+all package for your platform to try it out! Some highlights of this release are noted below.
General
- Better error handling
- Stability improvements
- Bit vector support
- Output in SMT-LIB2/SyGuS format
Top-down Enumerator
- Abstraction-based pruning
- Stable queues
Reporting
- Extensibility and plugin support
- Prettified HTML tables
Full Changelog: v0.2.0...v0.3.0