package encoding

v0.0.3

• Improve bitv creation interface

• Add naive hash-consing of expressions

• Add Ceil and Floor FPA operators

• Start migrating inline tests to standard tests

• No simplifier on batch solver

v0.0.2

• Support for bv8

• Refactor optimizer interface

• Fixes batch solver in e061344

• Adds default simplifier in z3 leading to great performance gains

• Adds logic configuration option to mk_solver

• Fixes pp function in 11476fb

• Adds ematching and timeout parameters

• Improves documentation

• Relax ocaml compiler constraint to >= 4.14.0

v0.0.1

Initial release