Additional solver backends

[mrexodia]

• https://bitwuzla.github.io/
• https://stp.github.io/
• http://minisat.se/ (SAT backend for our solver)
• https://cvc5.github.io/
• https://yices.csl.sri.com/