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-yices2
SMT solver Yices for use in JavaSMT
Registry
-
Source
- Documentation
- JSON
purl: pkg:maven/org.sosy-lab/javasmt-solver-yices2
Keywords: java, smt, solver
License: Apache-2.0,GPL-3.0
Latest release: 3 months ago
First release: almost 3 years ago
Namespace: org.sosy-lab
Dependent repositories: 2
Stars: 140 on GitHub
Forks: 36 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago