gistfile1.txt

/nix/store/k972ivfsxm9bh4jdgladl8fd5hm8spf2-souffle-2.0.2
├── bin
│   ├── souffle
│   ├── souffle-compile
│   ├── souffle-config
│   └── souffle-profile
├── include
│   └── souffle
│       ├── BinaryConstraintOps.h
│       ├── CompiledOptions.h
│       ├── CompiledSouffle.h
│       ├── CompiledTuple.h
│       ├── datastructure
│       │   ├── Brie.h
│       │   ├── BTree.h
│       │   ├── EquivalenceRelation.h
│       │   ├── LambdaBTree.h
│       │   ├── PiggyList.h
│       │   ├── Table.h
│       │   └── UnionFind.h
│       ├── io
│       │   ├── gzfstream.h
│       │   ├── IOSystem.h
│       │   ├── ReadStreamCSV.h
│       │   ├── ReadStream.h
│       │   ├── ReadStreamJSON.h
│       │   ├── ReadStreamSQLite.h
│       │   ├── SerialisationStream.h
│       │   ├── WriteStreamCSV.h
│       │   ├── WriteStream.h
│       │   ├── WriteStreamJSON.h
│       │   └── WriteStreamSQLite.h
│       ├── profile
│       │   ├── Cell.h
│       │   ├── CellInterface.h
│       │   ├── Cli.h
│       │   ├── DataComparator.h
│       │   ├── EventProcessor.h
│       │   ├── htmlCssChartist.h
│       │   ├── htmlCssStyle.h
│       │   ├── HtmlGenerator.h
│       │   ├── htmlJsChartistMin.h
│       │   ├── htmlJsChartistPlugin.h
│       │   ├── htmlJsMain.h
│       │   ├── htmlJsTableSort.h
│       │   ├── htmlJsUtil.h
│       │   ├── htmlMain.h
│       │   ├── Iteration.h
│       │   ├── Logger.h
│       │   ├── OutputProcessor.h
│       │   ├── ProfileDatabase.h
│       │   ├── ProfileEvent.h
│       │   ├── ProgramRun.h
│       │   ├── Reader.h
│       │   ├── Relation.h
│       │   ├── Row.h
│       │   ├── Rule.h
│       │   ├── StringUtils.h
│       │   ├── Table.h
│       │   ├── Tui.h
│       │   └── UserInputReader.h
│       ├── provenance
│       │   ├── Explain.h
│       │   ├── ExplainProvenance.h
│       │   ├── ExplainProvenanceImpl.h
│       │   └── ExplainTree.h
│       ├── RamTypes.h
│       ├── RecordTable.h
│       ├── SignalHandler.h
│       ├── SouffleInterface.h
│       ├── swig
│       │   ├── SwigInterface.h
│       │   └── SwigInterface.i
│       ├── SymbolTable.h
│       ├── TypeAttribute.h
│       └── utility
│           ├── CacheUtil.h
│           ├── ContainerUtil.h
│           ├── EvaluatorUtil.h
│           ├── FileUtil.h
│           ├── FunctionalUtil.h
│           ├── json11.h
│           ├── MiscUtil.h
│           ├── ParallelUtil.h
│           ├── StreamUtil.h
│           ├── StringUtil.h
│           └── tinyformat.h
├── nix-support
│   └── propagated-build-inputs
└── share
    ├── bash-completion
    │   └── completions
    │       └── souffle
    └── man
        └── man1
            ├── souffle.1.gz
            ├── souffle-compile.1.gz
            ├── souffle-config.1.gz
            └── souffle-profile.1.gz

15 directories, 83 files