Z3-FFI-0.002

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.

Low level FFI interfaces to the Z3 solver/prover

in lib/Z3/FFI/ArrayType.pm

To install Z3::FFI, copy and paste the appropriate command in to your terminal.

cpanm Z3::FFI

perl -MCPAN -e shell
install Z3::FFI

For more information on module installation, please visit the detailed CPAN module installation guide.

	Global
`s`	Focus search bar
`?`	Bring up this help dialog

	GitHub
`g` `p`	Go to pull requests
`g` `i`	go to github issues (only if github is preferred repository)

	Search terms
module: (e.g. module:Plugin)
distribution: (e.g. distribution:Dancer auth)
author: (e.g. author:SONGMU Redis)
version: (e.g. version:1.00)