Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / stp / stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stp%2Fstp
Stars: 482
Forks: 129
Open Issues: 57
License: other
Language: C++
Repo Size: 33.1 MB
Dependencies:
8
Created: over 10 years ago
Updated: about 2 months ago
Last pushed: 5 months ago
Last synced: about 2 months ago
Topics: cnf, cryptography, sat-solver, smt, symbolic-execution, verification
Files
Loading...
Readme
Loading...
Dependencies
- Sphinx ==1.7.1
- recommonmark ==0.4.0
.github/workflows/ci.yml
actions
- actions/checkout v2 composite
- actions/checkout v2 composite
- github/codeql-action/analyze v1 composite
- github/codeql-action/init v1 composite
Dockerfile
docker