search

usi-verification-and-security / golem

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

Options: added an option to turn off the TS DAG solving #50

Closed BritikovKI closed 10 months ago

BritikovKI commented 10 months ago

Added an option that allows to turn off the DAG of TS algorithm for the solving.