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

The newest version!

Manifest-Version: 1.0
Ant-Version: Apache Ant 1.10.12
Created-By: 21.0.6+7-Ubuntu-122.04.1 (Ubuntu)
Implementation-Title: JavaSMT Solver Library
Implementation-Version: 5.0.1-523-g9001c0ea4