Download scala-smtlib_2.12-0.2.1.jar file

Description

scala-smtlib

You can download jar file scala-smtlib_2.12 0.2.1 in this page.

MIT-style

You can use the following script to add scala-smtlib_2.12-0.2.1.jar to your project.

<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'

libraryDependencies += "com.regblanc" % "scala-smtlib_2.12" % "0.2.1"

<dependency org="com.regblanc" name="scala-smtlib_2.12" rev="0.2.1"/>

@Grapes(@Grab(group='com.regblanc', module='scala-smtlib_2.12', version='0.2.1'))

'com.regblanc:scala-smtlib_2.12:jar:0.2.1'

Click the following link to download the jar file.