Closed Bo-Yuan-Huang closed 4 years ago
Describe your feature request. Provide SMTSwitch support.
Describe the solution you'd like Besides the Z3Adapter, allow generating/solving STM queries using other solvers.
Additional context Backward compatibility by keeping the Z3 support.
Describe your feature request. Provide SMTSwitch support.
Describe the solution you'd like Besides the Z3Adapter, allow generating/solving STM queries using other solvers.
Additional context Backward compatibility by keeping the Z3 support.