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

There is a newer version: 4.13.3

Manifest-Version: 1.0
Ant-Version: Apache Ant 1.10.12
Created-By: 11.0.22+7-post-Ubuntu-0ubuntu222.04.1 (Ubuntu)
Implementation-Title: Java Bindings for Z3
Implementation-Version: 4.13.0