Tags

Tags give the ability to mark specific points in history as being important

v0.2.4

a3ae39ac · Update changelog · Jun 20, 2019
```
Version 0.2.4
```
Unverified
v0.2.3

8bf2276d · Activate automatic sbt version · Dec 18, 2017
```
Version 0.2.3 with automated sbt version
```
v0.2.1

0129a873 · Fix new warnings from scala 2.12 · Dec 21, 2016
```
towards v0.3
```

aeb0043e · prepare release 0.2 · Mar 09, 2016

SMT-LIB version 0.2

* 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.

v0.1

e2462124 · Prepare for initial release 0.1 · Apr 02, 2015

Initial release of Scala SMT-LIB

This release provides a very extensive support for the
SMT-LIB language version 2.5 (currently in draft mode, but
very close to being final).

SMT-LIB expressions are represented with a Scala AST corresponding
closely to the SMT-LIB grammar. A parser can turn an input stream
into an AST representation, and a printer will turn an AST representation
into a SMT-LIB complient string output.

In addition, Scala SMT-LIB provides an abstraction layer to communicate
with solver processes over their textual input (using system pipes) with
the SMT-LIB language. It comes out of the box with support for
Z3 and CVC4, but more solvers can be added easily as long as they
support SMT-LIB inputs.

Scala SMT-LIB is released under the terms of the MIT license.