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

Version:

0.2.2

Release Date:

Jun 4, 2017

Licenses:

MIT

Files:

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

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

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

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

<dependency>
  <groupId>com.regblanc</groupId>
  <artifactId>scala-smtlib_2.12</artifactId>
  <version>0.2.2</version>
</dependency>

compile group: 'com.regblanc', name: 'scala-smtlib_2.12', version: '0.2.2'