search

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms
http://theta.inf.mit.bme.hu/
Apache License 2.0
49 stars 43 forks source link

`theta-analysis` depends on concrete solver implementations #273

Open mondokm opened 4 months ago

mondokm commented 4 months ago

theta-analysis was modified in a recent PR to depend on concrete solver subprojects instead of the generic theta-solver subproject. (See https://github.com/ftsrg/theta/blob/master/subprojects/common/analysis/build.gradle.kts)

I believe it would be preferable to adjust to the pattern followed by other algorithms in theta, where solvers or solver factories are provided by the frontend.