Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / JohnLyu2 / z3
The Z3 Theorem Prover
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/JohnLyu2%2Fz3
Fork of Z3Prover/z3
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: C++
Repo Size: 117 MB
Dependencies:
428
Created: almost 2 years ago
Updated: 9 months ago
Last pushed: over 1 year ago
Last synced: 9 months ago
Files
Loading...
Readme
Loading...
Dependencies
- actions/checkout v3 composite
- actions/upload-artifact v3 composite
.github/workflows/coverage.yml
actions
- actions/checkout v3 composite
- actions/upload-artifact v3 composite
- actions/checkout v3 composite
- actions/checkout v3 composite
- docker/build-push-action v3.1.1 composite
- docker/login-action v2 composite
- docker/metadata-action v4 composite
- actions/checkout v3 composite
- actions/checkout v3 composite
- actions/setup-node v3 composite
- mymindstorm/setup-emsdk v11 composite
.github/workflows/wasm.yml
actions
- actions/checkout v3 composite
- actions/setup-node v3 composite
- mymindstorm/setup-emsdk v11 composite
.github/workflows/wip.yml
actions
- actions/checkout v3 composite
- @types/jest ^27.5.1 development
- @types/node ^17.0.8 development
- @types/prettier ^2.6.1 development
- @types/sprintf-js ^1.1.2 development
- check-engine ^1.10.1 development
- iter-tools ^7.3.1 development
- jest ^28.1.0 development
- npm-run-all ^4.1.5 development
- prettier ^2.5.1 development
- rimraf ^3.0.2 development
- sprintf-js ^1.1.2 development
- ts-jest ^28.0.3 development
- ts-node ^10.8.0 development
- typedoc ^0.22.17 development
- typescript ^4.5.4 development
- async-mutex ^0.3.2
- Microsoft.Z3 $(Z3_VERSION)
- async-mutex 0.3.2
- tslib 2.4.0
- z3-solver 4.9.0