Tracking backend solver support - SMLP-Systems/smlp GitHub Wiki
Built-in:
| Solver |
Version |
OS |
Flavor |
Regression tests |
Tutorial |
| z3 |
4.8.12 |
Linux |
Ubuntu |
OK |
OK |
| z3 |
4.15.4 |
Linux |
Gentoo |
stuck, #87 |
|
| z3 |
4.15.8 |
Linux |
Ubuntu, Gentoo |
stuck, #87 |
|
| z3 |
4.16.0 |
MacOS |
|
OK |
|
| z3 |
4.15.8 |
Linux |
Ubuntu |
stuck, #99 |
|
External:
| Solver |
Version |
-solver_path |
OS |
Flavor |
Regression tests |
Tutorial |