You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As a user, I would like torxakis to work with as many problem solvers as possible,
such that I can choose the best problem solver for my particular problem.
Alt-Ergo is a problem solver that is currently not supported natively by TorXakis.
Could this problem solver be added as an available-solver, like CVC4 and Z3?
For TorXakis users, this would only be worthwhile when a simple installer for alt-ergo is available.
So blocked on a windows/linux/... installer: OCamlPro/alt-ergo#258
As a user, I would like torxakis to work with as many problem solvers as possible,
such that I can choose the best problem solver for my particular problem.
Alt-Ergo is a problem solver that is currently not supported natively by TorXakis.
Could this problem solver be added as an available-solver, like CVC4 and Z3?
related to #265 (Yices2) and #419 (MathSat)
The text was updated successfully, but these errors were encountered: