Searched defs:unsatCores (Results 1 – 7 of 7) sorted by relevance
/dports/math/z3/z3-z3-4.8.13/src/api/java/ |
H A D | Goal.java | 238 Goal(Context ctx, boolean models, boolean unsatCores, boolean proofs) { in Goal()
|
H A D | Context.java | 2780 public Goal mkGoal(boolean models, boolean unsatCores, boolean proofs) in mkGoal()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/java/ |
H A D | Goal.java | 238 Goal(Context ctx, boolean models, boolean unsatCores, boolean proofs) { in Goal()
|
H A D | Context.java | 2695 public Goal mkGoal(boolean models, boolean unsatCores, boolean proofs) in mkGoal()
|
/dports/math/z3/z3-z3-4.8.13/src/api/dotnet/ |
H A D | Goal.cs | 251 internal Goal(Context ctx, bool models, bool unsatCores, bool proofs) in Goal()
|
H A D | Context.cs | 3354 public Goal MkGoal(bool models = true, bool unsatCores = false, bool proofs = false) in MkGoal()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/api/dotnet/ |
H A D | Context.cs | 3279 public Goal MkGoal(bool models = true, bool unsatCores = false, bool proofs = false) in MkGoal()
|