Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/estebanlm/pharo-z3
Pharo FFI bindings for the https://github.com/Z3Prover/z3 library
https://github.com/estebanlm/pharo-z3
pharo
Last synced: about 1 month ago
JSON representation
Pharo FFI bindings for the https://github.com/Z3Prover/z3 library
- Host: GitHub
- URL: https://github.com/estebanlm/pharo-z3
- Owner: estebanlm
- License: mit
- Created: 2024-11-22T09:09:43.000Z (about 1 month ago)
- Default Branch: main
- Last Pushed: 2024-11-22T09:14:09.000Z (about 1 month ago)
- Last Synced: 2024-11-22T10:21:50.816Z (about 1 month ago)
- Topics: pharo
- Language: Smalltalk
- Homepage:
- Size: 69.3 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0