Directory macros/latex/contrib/fodot
fodot.sty
Copyright 2025 Christian Fleiner
This work may be distributed and/or modified under the conditions of the LaTeX Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is in http://www.latex-project.org/lppl.txt and version 1.3c or later is part of all distributions of LaTeX version 2005/12/01 or later.
This work has the LPPL maintenance status “maintained”.
The Current Maintainer(s) of this work is/are Christian Fleiner
This work consists of the files fodot.sty, fodot-doc.tex, and fodot-doc.pdf.
The fodot LaTeX package allows easy construction of DMN decision tables.
Download the contents of this package in one zip archive (268.7k).
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/.
| Package | fodot |
| Home page | https://gitlab.com/EAVISE/CFL/fodot-latex |
| Bug tracker | https://gitlab.com/EAVISE/CFL/fodot-latex/-/issues |
| Repository | https://gitlab.com/EAVISE/CFL/fodot-latex |
| Version | 0.0.1 2025-08-29 |
| Licenses | The LaTeX Project Public License 1.3c |
| Copyright | 2025 Christian Fleiner |
| Maintainer | Christian Fleiner |
| Contained in | TeX Live as fodot |
| Topics | Logic |
