Hah, I wonder if theres an exacting mathematical d...

# random

[groostav]

Hah, I wonder if theres an exacting mathematical definition of "garbage" in constraint solving. This is part of the Microsoft Z3 java api:

public class Goal extends Z3Object {
//...
    public boolean isGarbage() {
        return this.getPrecision() == Z3_goal_prec.Z3_GOAL_UNDER_OVER;
    }