Test all solvers, not just z3, in CI

kino-mc / rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

Apache License 2.0

65 stars 14 forks source link

Open AdrienChampion opened 1 year ago

AdrienChampion commented 1 year ago

Adding CI for these solvers on a single OS (probably linux) is fine