User options to CVC5 solver

[Avgor46]

Is there a way to pass user parameters (e.g. "solve-bv-as-int") to the СVС5 solver? According to the source code this is not possible due to fact that CVC5SolverContext.setSolverOptions method is private, am I right? Maybe it would be nice to add such feature.

[kfriedberger]

No, there was no way to provide options fro CVC5 directly.
We will add this feature: #390

[baierd]

You can now define solver specific options for CVC5 using the furtherOptions configuration option on the main branch.
It can be used by defining a configuration and adding furtherOptions as seen in this example for the CVC5 option tlimit-per: yourConfig.setOption("solver.cvc5.furtherOptions", "tlimit-per=1000")....)

(furtherOptions description: Further options that will be passed to CVC5 in addition to the default options. Format is 'key1=value1,key2=value2')

[kfriedberger]

We will release a new version of JavaSMT within the next days.

[kfriedberger]

JavaSMT 5.0.1 is released with this feature.