scala-smtlib

scala-smtlib copied to clipboard

The lexer now accepts tabs as blank symbols and skips over them appropriately.

zgrannan

Publish most recent version to Maven central

4

According to [mvnrepository](https://mvnrepository.com/artifact/com.regblanc/scala-smtlib), the last published artifact of this library has been `0.2.2-12-g91e7214`. Most notably, support for Scala 2.13 is not yet published on Maven central, while it is supported...

bramvdbogaerde

regb

Full Code Examples

2

I appreciate the small examples in the Getting Started section of the README page. Are there full code examples that use scala-smtlib similar to those found in that Getting Started...

jgarci40