kythe.io@v0.0.68-0.20240422202219-7225dbc01741/third_party/souffle/README.google (about)

     1  URL: https://github.com/souffle-lang/souffle/archive/fbb4c4b967bf58cccb7aca58e3d200a799218d98.zip
     2  Version: fbb4c4b967bf58cccb7aca58e3d200a799218d98.
     3  License: The Universal Permissive License (UPL), Version 1.0
     4  License File: LICENSE
     5  Description: Soufflé • A Datalog Synthesis Tool for Static Analysis
     6  Local Modifications:
     7    Extracted the parse/AST lowering pipeline code from src/main.cpp.