souffle-lint

用于Soufflé Datalog的代码检查器。更多信息请参阅文档。