Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

alpine edge : yices2-dev

Solver for Satisfiability Modulo Theories (SMT) problems (development files)

Registry - Source - JSON
purl: pkg:apk/alpine/yices2-dev?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: 6 days ago

Readme