modernmvn.
Browse
Compare
Analyze
About
Search...
⌘K
Loading analyzer...
Coordinates
POM Snippet
Upload POM
Security & Limits
Group ID
Artifact ID
Version
Add custom repository (optional)
Resolution complete.
Analyze
Graph View
Table View
Conflict Summary
Share Link
Export JSON
Loading graph viewer...
theta-analysis
hu.bme.mit.theta
6.17.0
kotlin-stdlib-jdk8
org.jetbrains.kotlin
1.9.25
runtime
kotlin-stdlib
org.jetbrains.kotlin
1.9.25
runtime
annotations
org.jetbrains
13.0
runtime
kotlin-stdlib-jdk7
org.jetbrains.kotlin
1.9.25
runtime
guava
com.google.guava
32.1.2-jre
runtime
gson
com.google.code.gson
2.9.1
runtime
hawtjni-runtime
org.fusesource.hawtjni
1.18
runtime
kotlin-reflect
org.jetbrains.kotlin
1.9.25
runtime
mockito-kotlin
org.mockito.kotlin
5.4.0
runtime
mockito-core
org.mockito
5.12.0
runtime
byte-buddy
net.bytebuddy
1.14.15
runtime
byte-buddy-agent
net.bytebuddy
1.14.15
runtime
objenesis
org.objenesis
3.3
runtime
theta-common
hu.bme.mit.theta
6.17.0
runtime
nuprocess
com.zaxxer
2.0.6
runtime
jna
net.java.dev.jna
5.11.0
runtime
theta-core
hu.bme.mit.theta
6.17.0
runtime
antlr4
org.antlr
4.12.0
runtime
antlr-runtime
org.antlr
3.5.3
runtime
ST4
org.antlr
4.3.4
runtime
org.abego.treelayout.core
org.abego.treelayout
1.0.3
runtime
icu4j
com.ibm.icu
71.1
runtime
antlr4-runtime
org.antlr
4.12.0
runtime
theta-solver
hu.bme.mit.theta
6.17.0
runtime
java-smt
org.sosy-lab
4.1.1
runtime
common
org.sosy-lab
0.3000-569-g89796f98
runtime
checker-qual
org.checkerframework
3.37.0
runtime
spotbugs-annotations
com.github.spotbugs
4.7.3
runtime
jsr305
com.google.code.findbugs
3.0.2
runtime
smtinterpol
de.uni-freiburg.informatik.ultimate
2.5-1242-g5c50fb6d
runtime
princess_2.13
io.github.uuverifiers
2023-06-19
runtime
scala-library
org.scala-lang
2.13.10
runtime
princess-parser_2.13
io.github.uuverifiers
2023-06-19
runtime
princess-smt-parser_2.13
io.github.uuverifiers
2023-06-19
runtime
scala-parser-combinators_2.13
org.scala-lang.modules
1.1.2
runtime
java-cup
net.sf.squirrel-sql.thirdparty-non-maven
0.11a
runtime
animal-sniffer-annotations
org.codehaus.mojo
1.18
runtime
theta-solver-javasmt
hu.bme.mit.theta
6.17.0
runtime
theta-solver-z3-legacy
hu.bme.mit.theta
6.17.0
runtime
theta-graph-solver
hu.bme.mit.theta
6.17.0
runtime
netty-socketio
com.corundumstudio.socketio
2.0.6
runtime
netty-buffer
io.netty
4.1.100.Final
runtime
netty-common
io.netty
4.1.100.Final
runtime
netty-transport
io.netty
4.1.100.Final
runtime
netty-handler
io.netty
4.1.100.Final
runtime
netty-codec-http
io.netty
4.1.100.Final
runtime
netty-codec
io.netty
4.1.100.Final
runtime
netty-transport-native-epoll
io.netty
4.1.100.Final
runtime
slf4j-api
org.slf4j
1.7.33
runtime
jackson-core
com.fasterxml.jackson.core
2.15.0
runtime
jackson-databind
com.fasterxml.jackson.core
2.15.0
runtime
Mini Map
React Flow
Press enter or space to select a node. You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.
Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.
Legend
Resolved
Conflict / Error
Optional
Test / Provided