Reimplement `SMTConfig` and handling of options/parameters

usi-verification-and-security / opensmt

The opensmt solver

Other

78 stars 18 forks source link

Open Tomaqa opened 10 months ago

Tomaqa commented 10 months ago

For example, clearly distinguish SMT-LIB options and internal parameters. Includes #481.

Tomaqa commented 2 months ago

Also, exit gracefully when the user attempts to change some options after the solver is already fully initialized, such as :global-declarations.