gistfile1.txt

/nix/store/0xq1sfs76rnswbzgjm6wybbkm198199h-cryptominisat-5.7.1
├── 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.7
    ├── libcryptominisat5.so.5.7
    └── python3.7
        └── site-packages
            ├── pycryptosat-0.2.0-py3.7.egg-info
            └── pycryptosat.cpython-37m-x86_64-linux-gnu.so

8 directories, 14 files