Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
alpine edge : yices2
Solver for Satisfiability Modulo Theories (SMT) problems
Registry
-
Source
- JSON
purl: pkg:apk/alpine/yices2?arch=x86_64
Keywords: sat-solver, satisfiability, satisfiability-modulo-theories, smt-solver, theorem-prover
License: CNRI-Python-GPL-Compatible
Latest release: over 1 year ago
First release: over 1 year ago
Namespace: testing
Stars: 318 on GitHub
Forks: 40 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 8 days ago
Loading...
Readme
Loading...