META-INF.MANIFEST.MF Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of java-smt Show documentation

Unified acccess layer to SMT solvers

There is a newer version: 5.0.1

Manifest-Version: 1.0
Ant-Version: Apache Ant 1.10.12
Created-By: 21.0.5+11-Ubuntu-1ubuntu122.04 (Ubuntu)
Implementation-Title: JavaSMT Solver Library
Implementation-Version: 5.0.1-344-g47d864510