0.3.0 Release (Experimental)

[kjcjohnson]

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

---

This discussion was created from the release 0.3.0 Release (Experimental).