regb / scala-smtlib 0.2.2

MIT License GitHub

Scala library for parsing and printing the SMT-LIB format

Scala versions: 2.13 2.12 2.11 2.10

Group ID:

com.regblanc

Artifact ID:

scala-smtlib_2.11

Version:

0.2

Release Date:

Mar 9, 2016

Licenses:

MIT

Files:

libraryDependencies += "com.regblanc" %% "scala-smtlib" % "0.2"

ivy"com.regblanc::scala-smtlib:0.2"

//> using dep "com.regblanc::scala-smtlib:0.2"

import $ivy.`com.regblanc::scala-smtlib:0.2`

<dependency>
  <groupId>com.regblanc</groupId>
  <artifactId>scala-smtlib_2.11</artifactId>
  <version>0.2</version>
</dependency>

compile group: 'com.regblanc', name: 'scala-smtlib_2.11', version: '0.2'