Download theta-core JAR file with all dependencies

theta-core from group hu.bme.mit.theta (version 6.5.2)

Core subproject in the Theta model checking framework

Group: hu.bme.mit.theta Artifact: theta-core
Show all versions Show documentation Show source

0 downloads

Artifact theta-core
Group hu.bme.mit.theta
Version 6.5.2
Last update 29. August 2024
Organization not specified
URL https://theta.mit.bme.hu/
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies antlr4,
There are maybe transitive dependencies!

theta-core from group io.github.zbo1997 (version 1.0.2)

Group: io.github.zbo1997 Artifact: theta-core
Show all versions Show documentation Show source

0 downloads

Artifact theta-core
Group io.github.zbo1997
Version 1.0.2
Last update 26. June 2023
Organization not specified
URL Not specified
License not specified
Dependencies amount 5
Dependencies spring-boot-starter-web, druid-spring-boot-starter, slf4j-api, mybatis-plus-boot-starter, dynamic-datasource-spring-boot-starter,
There are maybe transitive dependencies!

Page 1 from 1 (items total 2)