pharo-z3

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

Description

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

Details

Source: GitHub
Dialect: pharo (65% confidence)
License: MIT
Forks: 1
Created: Nov. 22, 2024
Updated: Feb. 27, 2025
Topics: pharo

Categories

System / OS Packaging / VCS

README excerpt

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

← Back to results