Changes for version 0.002
- Bindings are now mostly complete and seem to be functional. Possible to actually use them now.
- Tests now prove that demorgan's law is valid in this universe.
Modules
Low level FFI interfaces to the Z3 solver/prover
Provides
in lib/Z3/FFI/ArrayType.pm