search

uuverifiers / eldarica

The Eldarica model checker
Other
80 stars 23 forks source link

Generate Horn graphs #48

Closed ChenchengLiang closed 7 months ago

ChenchengLiang commented 2 years ago

rewrite the graph generating process