org.jetbrains.research.boolector-java 3.2.5 Latest version
Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
<groupId>org.jetbrains.research</groupId>
<artifactId>boolector-java</artifactId>
<version>3.2.5</version>
</dependency>
Install 2/2: Run via command line
$ mvn install
About this package
No description available yet.
The 3.2.5 version of this package has been published
Details
-
vorpal-research
- March 15, 2021
- 1 dependencies
Assets
Download activity
- Total downloads 8
- Last 30 days 0
- Last week 0
- Today 0
Recent versions
-
3.2.5
Mar 15, 2021