Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org : org.sosy-lab:javasmt-solver-mathsat5
Recompiled Version of the SMT solver Mathsat5 for use in JavaSMT
Registry
-
Source
- Documentation
- JSON
purl: pkg:maven/org.sosy-lab/javasmt-solver-mathsat5
Keywords: java, smt, solver
License: Other
Latest release: about 1 year ago
First release: over 3 years ago
Namespace: org.sosy-lab
Dependent packages: 1
Dependent repositories: 5
Stars: 140 on GitHub
Forks: 36 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago
org.sosy-lab:javasmt-solver-yices2 2.6.4-264-g553897f5
SMT solver Yices for use in JavaSMT2 versions - Latest release: 3 months ago - 2 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-z3 4.12.5
SMT solver Z3 for use in JavaSMT21 versions - Latest release: 4 months ago - 2 dependent packages - 8 dependent repositories - 140 stars on GitHub
org.sosy-lab:java-smt 4.1.1
Unified acccess layer to SMT solvers50 versions - Latest release: 5 months ago - 3 dependent packages - 16 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-yices2 4.0.1
JavaSMT bindings for the SMT solver Yices6 versions - Latest release: 12 months ago - 2 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-cvc5 1.0.5-g4cb2ab9eb
SMT solver CVC5 for use in JavaSMT3 versions - Latest release: about 1 year ago - 1 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-boolector 3.2.2-gcc3a7091
SMT solver Boolector for use in JavaSMT4 versions - Latest release: over 2 years ago - 3 dependent repositories - 140 stars on GitHub
org.sosy-lab:javasmt-solver-cvc4 1.8-prerelease-2020-06-24-g7825d8f28
SMT solver CVC4 for use in JavaSMT1 version - Latest release: over 3 years ago - 3 dependent repositories - 140 stars on GitHub