gistfile1.txt

/nix/store/wdyjapjbvlhl2ia1a9ssadn8779fkmib-souffle-1.6.1
├── bin
│   ├── souffle
│   ├── souffle2bdd
│   ├── souffle2lb
│   ├── souffle-compile
│   ├── souffle-config
│   └── souffle-profile
├── include
│   └── souffle
│       ├── BinaryConstraintOps.h
│       ├── Brie.h
│       ├── BTree.h
│       ├── CompiledIndexUtils.h
│       ├── CompiledOptions.h
│       ├── CompiledRecord.h
│       ├── CompiledRelation.h
│       ├── CompiledSouffle.h
│       ├── CompiledTuple.h
│       ├── EquivalenceRelation.h
│       ├── EventProcessor.h
│       ├── Explain.h
│       ├── ExplainProvenance.h
│       ├── ExplainProvenanceImpl.h
│       ├── ExplainTree.h
│       ├── gzfstream.h
│       ├── IODirectives.h
│       ├── IOSystem.h
│       ├── IterUtils.h
│       ├── json11.h
│       ├── LambdaBTree.h
│       ├── Logger.h
│       ├── ParallelUtils.h
│       ├── PiggyList.h
│       ├── profile
│       │   ├── Cell.h
│       │   ├── CellInterface.h
│       │   ├── Cli.h
│       │   ├── DataComparator.h
│       │   ├── htmlCssChartist.h
│       │   ├── htmlCssStyle.h
│       │   ├── HtmlGenerator.h
│       │   ├── htmlJsChartistMin.h
│       │   ├── htmlJsChartistPlugin.h
│       │   ├── htmlJsMain.h
│       │   ├── htmlJsTableSort.h
│       │   ├── htmlJsUtil.h
│       │   ├── htmlMain.h
│       │   ├── Iteration.h
│       │   ├── json11.h
│       │   ├── OutputProcessor.h
│       │   ├── ProfileDatabase.h
│       │   ├── ProgramRun.h
│       │   ├── Reader.h
│       │   ├── Relation.h
│       │   ├── Row.h
│       │   ├── Rule.h
│       │   ├── StringUtils.h
│       │   ├── Table.h
│       │   ├── Tui.h
│       │   └── UserInputReader.h
│       ├── ProfileDatabase.h
│       ├── ProfileEvent.h
│       ├── RamTypes.h
│       ├── ReadStreamCSV.h
│       ├── ReadStream.h
│       ├── ReadStreamSQLite.h
│       ├── SignalHandler.h
│       ├── SouffleInterface.h
│       ├── SymbolTable.h
│       ├── Table.h
│       ├── UnionFind.h
│       ├── Util.h
│       ├── WriteStreamCSV.h
│       ├── WriteStream.h
│       └── WriteStreamSQLite.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

10 directories, 77 files