LOFT

First order logic formula generator and benchmarking tool for theorem provers.

How to run

1. Install Docker.
2. Clone this repository.
3. Build the images:

   $ docker compose build base
   $ docker compose --profile tools build

4. Run the web application:

   $ docker compose up

5. Open your browser and go to http://localhost:8000.

How to build PDF report (suggestion)

1. Install Pandoc and TeX Live.
2. Clone this repository.
3. Run the following commands:

   $ cd docs
   $ pandoc docs-pl.md -o docs-pl.pdf -V geometry:margin=1in -V colorlinks=true