fodot – Helpful commands to work with the FODOT

This package provides helpful commands to work with the fodot language in LaTeX including syntax highlighting in listings. The fodot language itself is not introduced. Instead, please refer to the official documentation:

• Official documentation of fodot: https://fo-dot.readthedocs.io/en/latest/FO-dot.html
• Technical implementation of fodot: https://docs.idp-z3.be/en/stable/introduction.html
• Reasoning engine IDP-Z3 (using fodot): https://idp-z3.be/.

Download the contents of this package in one zip archive (268.7k).