Modules

Low level FFI interfaces to the Z3 solver/prover

Provides

in lib/Z3/FFI/ArrayType.pm