souffle-lint (cargo): Linter for Soufflé Datalog
Keywords: linter|datalog|souffle