Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: maven: org.sosy-lab:javasmt-solver-cvc4

SMT solver CVC4 for use in JavaSMT
1 version
Latest release: over 3 years ago

View more package details: https://packages.ecosyste.ms/registries/repo1.maven.org/packages/org.sosy-lab:javasmt-solver-cvc4

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/sosy-lab%2Fjava-smt

Dependent Repos 3

sosy-lab/software/java-smt
[Unified Java API for SMT solvers](https://github.com/sosy-lab/java-smt).
  • 1.8-prerelease-2020-06-24-g7825d8f28 doc/Example-Maven-Project/pom.xml
  • 1.8-prerelease-2020-06-24-g7825d8f28 doc/Example-Maven-Web-Project/pom.xml

Last synced: 11 months ago

nivetha_g/sosyys
  • 1.8-prerelease-2020-06-24-g7825d8f28 doc/Example-Maven-Project/pom.xml
  • 1.8-prerelease-2020-06-24-g7825d8f28 doc/Example-Maven-Web-Project/pom.xml

Last synced: over 1 year ago

sosy-lab/java-smt
JavaSMT - Unified Java API for SMT solvers.
  • 1.8-prerelease-2020-06-24-g7825d8f28 doc/Example-Maven-Project/pom.xml
  • 1.8-prerelease-2020-06-24-g7825d8f28 doc/Example-Maven-Web-Project/pom.xml

Size: 123 MB - Last synced: about 18 hours ago - Pushed: 1 day ago

mtappler/smt-ta-learning
An approach to learning timed automata using SMT soving
  • 1.8-prerelease-2020-06-24-g7825d8f28 pom.xml

Size: 581 KB - Last synced: 10 months ago - Pushed: over 2 years ago

daniel-raffler/java-smt Fork of sosy-lab/java-smt
JavaSMT - Unified Java API for SMT solvers.
  • 1.8-prerelease-2020-06-24-g7825d8f28 doc/Example-Maven-Project/pom.xml
  • 1.8-prerelease-2020-06-24-g7825d8f28 doc/Example-Maven-Web-Project/pom.xml

Size: 84.2 MB - Last synced: about 2 months ago - Pushed: about 2 months ago