Install Menhir with opam install menhir.
Install Bogue with opam install bogue.
To run the program, run dune exec bin/main.exe, which should open up a GUI application.
You can test different propositions and first order logic statements in the GUI. There are examples and instructions on the sidebar for guidance (if necessary).
There are also 4 different buttons at the bottom:
- SOLVE - solves the statement put into the text input
- QUIT - quits the program (after pop-up confirmation)
- CLEAR - clears the output box
- SAVE - saves to file location entered by the user