Metadata-Version: 2.1
Name: folint
Version: 1.0.1
Summary: Linter for FO-dot, used in the IDP-Z3 system
Home-page: https://gitlab.com/EAVISE/sva/folint
Author: vadevesi
Author-email: s.vandevelde@kuleuven.be
License: UNKNOWN
Platform: UNKNOWN
Classifier: Topic :: Scientific/Engineering
Classifier: Topic :: Software Development
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Topic :: Software Development :: Quality Assurance
Description-Content-Type: text/markdown
License-File: LICENSE

FOLint 
======

FOLint is a linting tool for [FO(·)](https://fo-dot.readthedocs.io/en/latest/FO-dot.html).
It's functionality can be split up in four parts:

* Detection of syntax errors
* Detection of type errors
* Detection of typical formalization errors
* Enforcing a style guide

This project was initially started by Lars Vermeulen during his master thesis: https://github.com/larsver/folint


Installation
------------

```
pip install folint
```

CLI usage
---------

```
folint file.idp
```

FOLint in editors
-----------------

FOLint can be integrated in many editors. 
A collection of guides are kept in the [folint-in-editors](https://gitlab.com/EAVISE/sva/folint/-/tree/main/folint-in-editors) folder.


