z3opt
What is an optimal model for this formula?
loading...
'►' shortcut: Alt+B
about Z3Opt - Efficient Optimizing Theorem Prover
Z3Opt is a high-performance optimizing theorem prover. Z3 supports arithmetic, fixed-size bit-vectors, extensional arrays, datatypes, uninterpreted functions, quantifiers, and optimization of constraints over them.
rise4fun © 2017 Microsoft Corporation - terms of use - privacy & cookies - code of conduct