Scala library for parsing and printing the SMT-LIB format
scala-smtlib 0.2.2
Group ID:
com.regblanc
Artifact ID:
scala-smtlib_2.10
Version:
0.2.2
Release Date:
Jun 4, 2017
Licenses:
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.10</artifactId> <version>0.2.2</version> </dependency>
compile group: 'com.regblanc', name: 'scala-smtlib_2.10', version: '0.2.2'