Verzeichnis 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.
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (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/.
| Paket | fodot |
| Home-Page | https://gitlab.com/EAVISE/CFL/fodot-latex |
| Fehlermeldungen | https://gitlab.com/EAVISE/CFL/fodot-latex/-/issues |
| Repository | https://gitlab.com/EAVISE/CFL/fodot-latex |
| Version | 0.0.1 2025-08-29 |
| Lizenzen | The LaTeX Project Public License 1.3c |
| Copyright | 2025 Christian Fleiner |
| Betreuer | Christian Fleiner |
| Enthalten in | TeX Live als fodot |
| Themen | Logik |
