Scala library for parsing and printing the SMT-LIB format
scala-smtlib 0.2.1
Group ID:
com.regblanc
Artifact ID:
scala-smtlib_2.12
Version:
0.2.1
Release Date:
Dec 28, 2016
Licenses:
Files:
libraryDependencies += "com.regblanc" %% "scala-smtlib" % "0.2.1"
ivy"com.regblanc::scala-smtlib:0.2.1"
//> using dep "com.regblanc::scala-smtlib:0.2.1"
import $ivy.`com.regblanc::scala-smtlib:0.2.1`
<dependency> <groupId>com.regblanc</groupId> <artifactId>scala-smtlib_2.12</artifactId> <version>0.2.1</version> </dependency>
compile group: 'com.regblanc', name: 'scala-smtlib_2.12', version: '0.2.1'