piwheels

folint

Linter for FO-dot, used in the IDP-Z3 system

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install folint

Dependencies

• idp-engine

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
1.1.0	2024-10-21
folint-1.1.0-py3-none-any.whl (24 KB)
1.0.9	2024-06-11
folint-1.0.9-py3-none-any.whl (24 KB)
1.0.8	2023-11-13
folint-1.0.8-py3-none-any.whl (26 KB)
1.0.7	2023-08-18
folint-1.0.7-py3-none-any.whl (26 KB)
1.0.6	2023-08-18
folint-1.0.6-py3-none-any.whl (26 KB)
1.0.5	2023-05-31
folint-1.0.5-py3-none-any.whl (26 KB)
1.0.4	2023-05-05
folint-1.0.4-py3-none-any.whl (26 KB)
1.0.3	2022-09-28
folint-1.0.3-py3-none-any.whl (61 KB)
1.0.2	2022-08-02
folint-1.0.2-py3-none-any.whl (61 KB)
1.0.1	2022-06-27
folint-1.0.1-py3-none-any.whl (66 KB)
1.0.0	2022-06-26
folint-1.0.0-py3-none-any.whl (66 KB)
0.0.2	2022-06-01
folint-0.0.2-py3-none-any.whl (63 KB)
0.0.1	2022-06-01
folint-0.0.1-py3-none-any.whl (63 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue