'simplify and ctx-solver-simplify in Java (or C#)
According to simplification in Z3, there are two ways to simplify an expression in Z3: simplify and ctx-solver-simplify When using the Java api, I am only able to find the method simplify() on the com.microsoft.z3.Expr class. How can I use the ctx-solver-simplify method? It does not seem to exist in the Solver class.
Sources
This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.
Source: Stack Overflow
| Solution | Source |
|---|