https://github.com/guillep/pharo-z3

Pharo FFI bindings for the https://github.com/Z3Prover/z3 library
https://github.com/guillep/pharo-z3

pharo

Last synced: 17 days ago
JSON representation

Pharo FFI bindings for the https://github.com/Z3Prover/z3 library

• Host: GitHub
• URL: https://github.com/guillep/pharo-z3
• Owner: guillep
• License: mit
• Created: 2024-11-22T09:09:43.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2025-02-27T15:27:17.000Z (over 1 year ago)
• Last Synced: 2025-10-03T23:36:51.828Z (9 months ago)
• Topics: pharo
• Language: Smalltalk
• Homepage:
• Size: 135 KB
• Stars: 0
• Watchers: 1
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# pharo-z3

Pharo FFI bindings for the https://github.com/Z3Prover/z3 library