Skip to content

com.mbeddr.formal feature-tree_map_for_goal_structures.2022.2.1140.6cdff7f

Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
  <groupId>com.mbeddr</groupId>
  <artifactId>formal</artifactId>
  <version>feature-tree_map_for_goal_structures.2022.2.1140.6cdff7f</version>
</dependency>
Install 2/2: Run via command line
$ mvn install

About this package

Documentation

No description available yet.

The feature-tree_map_for_goal_structures.2022.2.1140.6cdff7f version of this package has been published Jul 4, 2024.

Details

  • @mbeddr mbeddr
  • July 04, 2024
  • 3 dependencies
  • Apache License 2.0

Assets

Download activity

  • Total downloads 0
  • Last 30 days 0
  • Last week 0
  • Today 0

Topics

prism architecture z3 spin gsn

Recent versions

View all