Search results for "dist:Z3-FFI SIMCOP"
Z3::FFI - Low level FFI interfaces to the Z3 solver/prover
This is a direct translation of the Z3 C API to a Perl API. It's most likely not the level for working with Z3 from perl. This is a mostly functional implementation right now. Three functions related to fixed point math are unimplemented currently. I...
SIMCOP/Z3-FFI-0.003 - 12 Jun 2019 11:06:11 UTC