• Home
• org.sosy-lab
• javasmt-yices2
• 4.1.1-59-gaf9c0520c
• source code
• MANIFEST.MF

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

Manifest-Version: 1.0
Ant-Version: Apache Ant 1.10.12
Created-By: 17.0.10+7-Ubuntu-122.04.1 (Private Build)
Implementation-Title: JavaSMT Solver Library - Yices2
Implementation-Version: 4.1.1-59-gaf9c0520c