The latest version of z3-encoding is 0.3.0.0-0.

Z3.Class

Monadoc does not yet provide module details. Would you like to view this module on Hackage instead?