Beispiel #1
0
        void AddBranchConstraint(BoolExpr constraint)
        {
            var simplified = (BoolExpr)constraint.SafeSimplify(Ctx);

            _pendingConstraints.Add(simplified);
        }