package encoding

  1. Overview
  2. Docs
Smt encoding library

Install

Dune Dependency

Authors

Maintainers

Sources

v0.0.3.tar.gz
md5=dc6d0f89b7b3c38c78c2844a54c6386b
sha512=03b70558322ef654bc1a3ea3ff1c029b8aecd7ed35d98ad4b4089c00905ee6eade180d5a4f4470078217ae60830591528ff2ccdc861083c840a0c52606cb0220

CHANGES.md.html

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

OCaml

Innovation. Community. Security.