usi-verification-and-security / golem

Solver for Constrained Horn Clauses
MIT License
34 stars 7 forks source link

DAG-fix: unique restrictions for every edge #47

Closed BritikovKI closed 11 months ago

blishko commented 11 months ago

It seems this can all be squashed in a single commit, no? Can you please add the description to the PR? Explain what is the problem and what is your proposed solution.

I am trying to review the changes, but I am not sure I get the details. What is the relation between blocked_children and checked_children?