Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
alpine edge : yices2-libs
Solver for Satisfiability Modulo Theories (SMT) problems (libraries)
Registry
-
Source
- JSON
purl: pkg:apk/alpine/yices2-libs?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: 1 day ago
Loading...
Readme
Loading...