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-cvc5

SMT solver CVC5 for use in JavaSMT

Registry - Source - Documentation - JSON
purl: pkg:maven/org.sosy-lab/javasmt-solver-cvc5
Keywords: java, smt, solver
License: Zed
Latest release: about 1 year ago
First release: over 1 year ago
Namespace: org.sosy-lab
Dependent repositories: 1
Stars: 140 on GitHub
Forks: 36 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 4 days ago

Readme