search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

(Re)implement help message in the binary #769

Closed Tomaqa closed 1 week ago

Tomaqa commented 2 months ago

Currently, option -h does nothing.

bruderj15 commented 2 months ago

When trying to figure out, what flags I may be able to set, I also stumbled across this. Is there some documentation for options? Currently I rely on the code here.

I guess the default configuration reflects the on average best choices. From your insights, is there any knowledge on how certain tweaks may significantly improve performance?

blishko commented 2 months ago

As far as I know, no one has tried to tweak the parameters for a long time. We are mostly happy with the current performance and we would have to evaluate every change on the whole of (supported) SMT-LIB benchmarks, which seems quite time and resource consuming.

blishko commented 3 weeks ago

It would also be good if OpenSMT could print its version.