souffle-lint#

A linter for Soufflé Datalog. See Installation and Usage to get started.

Source available on Github.

Indices and tables#