2.1.0 Release

[kjcjohnson]

What's Changed

• Bit Vector Support by @kjcjohnson in Bit Vector Support #65
• Allow multiple constraints in a CHC by @kjcjohnson in Allow multiple constraints in a CHC #69
• Fix grammar form. by @kjcjohnson in Fix grammar form. #72
• Convert SyGuS files to CHCs on the fly by @kjcjohnson in Convert SyGuS files to CHCs on the fly #73
• Declarative S-expression output format by @kjcjohnson in Convert SyGuS files to CHCs on the fly #73

There are some breaking changes, primarily in the ISemgusProblemHandler interface. Note that SyGuS on-the-fly conversion and the declarative S-expression output format are prereleased and will likely change in the future.

Full Changelog: v2.0.0...v2.1.0

---

This discussion was created from the release 2.1.0 Release.