gistfile1.txt

/nix/store/66l83xyll6iw038qhgan57w2nncw4ahv-cryptominisat-5.8.0
├── bin
│   ├── cryptominisat5
│   └── cryptominisat5_simple
├── include
│   └── cryptominisat5
│       ├── cryptominisat_c.h
│       ├── cryptominisat.h
│       ├── dimacsparser.h
│       ├── solvertypesmini.h
│       └── streambuffer.h
└── lib
    ├── cmake
    │   └── cryptominisat5
    │       ├── cryptominisat5Config.cmake
    │       ├── cryptominisat5Targets.cmake
    │       └── cryptominisat5Targets-release.cmake
    ├── libcryptominisat5.so -> libcryptominisat5.so.5.8
    ├── libcryptominisat5.so.5.8
    └── python3.8
        └── site-packages
            ├── pycryptosat-0.2.0-py3.8.egg-info
            └── pycryptosat.cpython-38-x86_64-linux-gnu.so

8 directories, 14 files