Config to change underlying SAT-Solver?

[bruderj15]

From what I have read you guys have been using Minisat as the underlying SAT-Solver.
Is there a way to modify this?

I really want to try OpenSMT with Kissat.

Then, you guys probably already did that and figured it not worthy.
Why is that?

[Tomaqa]

The current situation is that Minisat is quite tightly integrated into the SMT solver which, unfortunately, does not allow us to easily replace the SAT solver with another one. It would be most likely more efficient to use a more modern and up-to-date SAT solver, but it would require a lot of engineering work and hence it is not currently our priority.