Universal interface to decision procedures, constraint solvers, model counters, and related tools
Compile Dependencies (9)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
JSON Lib
Apache 2.0
|  | com.fasterxml.jackson.core
»
jackson-databind66 vulnerabilities General data-binding functionality for Jackson: works on core streaming API | 2.9.4 | 3.2.2 |
Redis Client
MIT
|  | io.lettuce
»
lettuce-core Advanced and thread-safe Java Redis client for synchronous, asynchronous, | 5.0.5.RELEASE | 7.7.0.RELEASE |
External Proc Exec
Apache 2.0
|  | org.apache.commons
»
commons-exec Apache Commons Exec is a library that reliably executes external processes from within the JVM. | 1.3 | 1.6.0 |
Logging
Apache 2.0
|  | org.apache.logging.log4j
»
log4j-api API for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage generation. It has ... | 2.10.0 | 2.26.1 |
Logging
Apache 2.0
| | org.apache.logging.log4j
»
log4j-core7 vulnerabilities Implementation for Apache Log4J, a highly configurable logging tool that focuses on performance and low garbage ... | 2.10.0 | 2.26.1 |
MIT
|  | org.apfloat
»
apfloat High performance arbitrary precision arithmetic library | 1.8.2 | 1.16.0 |
Constraint Solver
BSD 3-clause
|  | org.choco-solver
»
choco-solver Open-source constraint solver. | 4.0.6 | 6.0.1 |
MIT
|  | org.sosy-lab
»
javasmt-solver-z3 SMT solver Z3 for use in JavaSMT | z3-4.4.1-1558-gf96cfea | 4.16.0 |
Redis Client
MIT
|  | redis.clients
»
jedis Jedis is a blazingly small and sane Redis java client. | 2.4.2 | 8.0.0 |