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-ctl
hu.bme.mit.theta
7.2.8
theta-analysis
hu.bme.mit.theta
7.2.8
theta-solver
hu.bme.mit.theta
7.2.8
runtime
java-smt
org.sosy-lab
5.0.1-523-g9001c0ea4
runtime
common
org.sosy-lab
0.3000-609-g90a352c
runtime
checker-qual
org.checkerframework
3.48.4
runtime
spotbugs-annotations
com.github.spotbugs
4.8.6
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
2024-11-08
runtime
scala-library
org.scala-lang
2.13.15
runtime
princess-parser_2.13
io.github.uuverifiers
2024-11-08
runtime
princess-smt-parser_2.13
io.github.uuverifiers
2024-11-08
runtime
scala-parser-combinators_2.13
org.scala-lang.modules
2.3.0
runtime
java-cup
net.sf.squirrel-sql.thirdparty-non-maven
0.11a
runtime
ostrich_2.13
io.github.uuverifiers
1.4.1
runtime
ostrich-ecma2020-parser_2.13
io.github.uuverifiers
1.4.1
runtime
org.sat4j.core
org.sat4j
2.3.1
runtime
automaton
dk.brics.automaton
1.11-8
runtime
fastparse_2.13
com.lihaoyi
3.0.2
runtime
sourcecode_2.13
com.lihaoyi
0.3.0
runtime
geny_2.13
com.lihaoyi
1.0.0
runtime
animal-sniffer-annotations
org.codehaus.mojo
1.18
runtime
theta-solver-javasmt
hu.bme.mit.theta
7.2.8
runtime
javasmt-solver-mathsat5
org.sosy-lab
5.6.11-sosy1
runtime
javasmt-solver-z3
org.sosy-lab
4.14.0
runtime
javasmt-solver-opensmt
org.sosy-lab
2.9.0-gef441e1c
runtime
javasmt-solver-cvc4
org.sosy-lab
1.8-prerelease-2020-06-24-g7825d8f28
runtime
javasmt-solver-cvc5
org.sosy-lab
1.2.1-g8594a8e4dc
runtime
javasmt-solver-bitwuzla
org.sosy-lab
0.7.0-13.1-g595512ae
runtime
javasmt-yices2
org.sosy-lab
4.1.1-734-g3732f7e08
runtime
theta-solver-z3-legacy
hu.bme.mit.theta
7.2.8
runtime
theta-graph-solver
hu.bme.mit.theta
7.2.8
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
antlr4
org.antlr
4.13.2
antlr-runtime
org.antlr
3.5.3
ST4
org.antlr
4.3.4
org.abego.treelayout.core
org.abego.treelayout
1.0.3
icu4j
com.ibm.icu
72.1
kotlin-stdlib-jdk8
org.jetbrains.kotlin
2.2.21
runtime
kotlin-stdlib
org.jetbrains.kotlin
2.2.21
runtime
annotations
org.jetbrains
13.0
runtime
kotlin-stdlib-jdk7
org.jetbrains.kotlin
2.2.21
runtime
guava
com.google.guava
33.5.0-jre
runtime
failureaccess
com.google.guava
1.0.3
runtime
listenablefuture
com.google.guava
9999.0-empty-to-avoid-conflict-with-guava
runtime
jspecify
org.jspecify
1.0.0
runtime
error_prone_annotations
com.google.errorprone
2.41.0
runtime
j2objc-annotations
com.google.j2objc
3.1
runtime
gson
com.google.code.gson
2.13.2
runtime
hawtjni-runtime
org.fusesource.hawtjni
1.18
runtime
kotlin-reflect
org.jetbrains.kotlin
2.2.21
runtime
mockito-kotlin
org.mockito.kotlin
6.1.0
runtime
mockito-core
org.mockito
5.20.0
runtime
byte-buddy
net.bytebuddy
1.17.7
runtime
byte-buddy-agent
net.bytebuddy
1.17.7
runtime
objenesis
org.objenesis
3.3
runtime
antlr4-runtime
org.antlr
4.13.2
runtime
theta-common
hu.bme.mit.theta
7.2.8
runtime
nuprocess
com.zaxxer
3.0.0
runtime
jna
net.java.dev.jna
5.11.0
runtime
fastutil
it.unimi.dsi
8.5.15
runtime
theta-core
hu.bme.mit.theta
7.2.8
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