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 javasmt-solver-z3 Show documentation

SMT solver Z3 for use in JavaSMT

The newest version!

Manifest-Version: 1.0
Ant-Version: Apache Ant 1.10.12
Created-By: 11.0.24+8-post-Ubuntu-1ubuntu322.04 (Ubuntu)
Implementation-Title: Java Bindings for Z3
Implementation-Version: 4.13.4