search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Added --print_z3_statistics #92

Closed wintersteiger closed 7 years ago

msprotz commented 7 years ago

Thanks!