Nothing yet
Released 20 June 2019
- Cross-compile to 2.13
- Update sbt to 1.2.8
- Fix a few bugs affecting CVC4
Released 18 December 2017
- Fix BitVectorConstant extraction
- Make sure positions are always set
- New architecture for tree transformers
- Automatic Git-based versioning scheme
Released 28 December 2016
- Cross-compile to 2.12
- Deployment to Maven Sonatype
- Finished TIP parser
- TIP extensions
- Tree Transformers API
- Made Interpreter interface a bit easier to use
- Hexadecimal parsing from any int type
- Remove erroneous symbol characters
Released 9 March 2016
- Constructors and extractors for the standard theories (except Floating point) of SMT-LIB 2.5
- Experimental support for non-standardized theories such as Strings and Sets.
- More robust parser and printers.
- Bug fixes, mostly small edge cases and weird symbol names.
Released 2 April 2015
Initial version of Scala SmtLib.
- Extensive support for the SMT-LIB language version 2.5
- SMT-LIB expressions represented with a Scala AST
- Parser turn input stream into AST representation
- Printer turn AST representation into an SMT-LIB complient string output
- abstraction layer to communicate with solver processes over their textual input
- Support for Z3 and CVC4
- Scala SMT-LIB is released under the terms of the MIT license.