Skip to content

Instantly share code, notes, and snippets.

@ryantm

ryantm/gist:88878fde2816a08871dc0d605cb97881

Created July 11, 2018 03:11
Show Gist options
  • Save ryantm/88878fde2816a08871dc0d605cb97881 to your computer and use it in GitHub Desktop.
Save ryantm/88878fde2816a08871dc0d605cb97881 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
/nix/store/a5fkr1issxfnzb96ixv2rv7h4s25zhkd-yices-2.6.0
├── bin
│   ├── yices
│   ├── yices-sat
│   ├── yices-smt
│   └── yices-smt2
├── include
│   ├── yices_exit_codes.h
│   ├── yices.h
│   ├── yices_limits.h
│   └── yices_types.h
└── lib
├── libyices.so -> libyices.so.2.6.0
├── libyices.so.2.5 -> libyices.so.2.6.0
└── libyices.so.2.6.0
3 directories, 11 files
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment