Changes for version 0.002

  • Don't build z3 example code
  • Fix up small bits of the pod a little

Modules

Perl distribution for Z3