why3

USE flags

• coq - Add sci-mathematics/coq support
• doc - Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
• emacs - Add support for GNU Emacs
• gtk - Build the IDE x11-libs/gtk+
• ocamlopt - Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
• re - Use Re (dev-ml/re) instead of Str for regular expressions
• sexp - Add support for outputting S-expressions with dev-ml/ppx_sexp_conv
• stackify - Enable structure reconstruction algorithm for MLCFG
• zarith - Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations
• zip - Enable compression of session files