0.3.0 Release (Experimental)

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

0.3.0 Preview 2 (Experimental)

Full Changelog: v0.3.0-preview1...v0.3.0-preview2

0.3.0 Preview 1 (Experimental)

Full Changelog: v0.2.0...v0.3.0-preview1

0.2.0 Release (Experimental)

0.2.0 Experimental Release

For experimentation and evaluation only! Everything is subject to change in the future. The 0.2.0 release adds:

• New command line interface. See the README for examples
• Support for relational specifications, using CEGIS if possible, or falling back to an SMT verifier
• Solver fixes and enhancements
• Writing benchmark data to JSON files and generating reports from them

If you have any questions, please make a post in the repository Discussions! I want to hear about any pain points, obtuse error messages, and general oddities so they can be addressed in a future release.

Installation Instructions

1. Download the package for your operating system from the latest release.
   Choose the bin+all package for an all-in-one zip including the SemGuS Parser and cvc5, or another bin
   package if you already have the SemGuS Parser or cvc5 installed and in your PATH.

2. Unzip the archive

Note that the Linux release requires a recent version of glibc: it will probably run on Ubuntu 22.04 LTS, but not on Ubuntu 20.04 LTS.

Full Changelog: v0.1.0...v0.2.0

0.1.0 Release (Experimental)

0.1.0 Experimental Release

This is the first official preview release of the ks2 synthesizer suite. For experimentation and evaluation only! Everything is subject to change in the future.

If you have any questions, please make a post in the repository Discussions! I want to hear about any pain points, obtuse error messages, and general oddities so they can be addressed in a future release.

Installation Instructions

1. Download the package for your operating system from the latest release.
   Choose the bin+parser package for an all-in-one zip including the SemGuS Parser, or just the bin
   package if you already have the SemGuS Parser installed and in your PATH.

2. Unzip the archive

Note that the Linux release requires a recent version of glibc: it will probably run on Ubuntu 22.04 LTS, but not on Ubuntu 20.04 LTS.