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