alt-ergo
alt-ergo copied to clipboard
[RFC] Remove the GUI
The graphical interface of alt-ergo (i.e. altgr-ergo), is relatively heavy to maintain and imposes many restrictions on development, so we are currently considering removing it entirely from the project.
Before doing so, we would like to know how many people are using it, so if you are using the GUI/altgr-ergo and see this issue, please comment here so we can evaluate how much breakage removing it would cause.
I'm using it less since I can instantiate in why3 I guess, but it is still a good way to know if some quantification is never instantiated, or which axioms are too easily instantiated. In those cases playing with the triggers directly inside the gui is quite efficient.
However a textual report could be enough and editing the alt-ergo file allows to edit the triggers.