New on CTAN: fodot
Date: August 30, 2025 7:01:25 PM CEST
Christian Fleiner submitted the
fodot
package.
Version number: 0.0.1 2025-08-29
License type: lppl1.3c
Summary description: Helpful commands to work with the FODOT
Announcement text:
The fodot LaTeX package provides helpful commands to work with the FODOT language, including syntax highlighting in listings.
This package is located at https://mirrors.ctan.org/macros/latex/contrib/fodot More information is at https://www.ctan.org/pkg/fodot
Thanks for the upload. For the CTAN Team Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
The fodot LaTeX package provides helpful commands to work with the FODOT language, including syntax highlighting in listings.
This package is located at https://mirrors.ctan.org/macros/latex/contrib/fodot More information is at https://www.ctan.org/pkg/fodot
Thanks for the upload. For the CTAN Team Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
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 |
| Version | 0.0.1 2025-08-29 |
| Copyright | 2025 Christian Fleiner |
| Maintainer | Christian Fleiner |