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

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:
MIT
Files:

libraryDependencies += "com.regblanc" %% "scala-smtlib" % "0.2.1-42-gc68dbaa"

Mill build tool

ivy"com.regblanc::scala-smtlib:0.2.1-42-gc68dbaa"

Scala CLI

//> using dep "com.regblanc::scala-smtlib:0.2.1-42-gc68dbaa"

Ammonite REPL

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'