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