DAG Safety witness - Githubissues

usi-verification-and-security / golem

Solver for Constrained Horn Clauses

MIT License

34 stars 7 forks source link

Closed BritikovKI closed 7 months ago

BritikovKI commented 7 months ago

This pull request adds the solver capacity to produce validity witness for the DAGs of Transition Systems solving algorithms.

blishko commented 7 months ago

Also, I think we can squash all to a single commit, no?