gistfile1.txt

/nix/store/swm5hjlz37kg016b61dppf5wm7ji3lka-libpoly-0.1.9
├── include
│   └── poly
│       ├── algebraic_number.h
│       ├── assignment.h
│       ├── dyadic_interval.h
│       ├── dyadic_rational.h
│       ├── feasibility_set.h
│       ├── integer.h
│       ├── interval.h
│       ├── monomial.h
│       ├── output_language.h
│       ├── poly.h
│       ├── polynomial_context.h
│       ├── polynomial.h
│       ├── polynomial_hash_set.h
│       ├── polynomial_vector.h
│       ├── polyxx
│       │   ├── algebraic_number.h
│       │   ├── assignment.h
│       │   ├── context.h
│       │   ├── dyadic_interval.h
│       │   ├── dyadic_rational.h
│       │   ├── integer.h
│       │   ├── integer_ring.h
│       │   ├── interval_assignment.h
│       │   ├── interval.h
│       │   ├── polynomial.h
│       │   ├── polynomial_utils.h
│       │   ├── rational.h
│       │   ├── rational_interval.h
│       │   ├── sign_condition.h
│       │   ├── upolynomial.h
│       │   ├── utils.h
│       │   ├── value.h
│       │   └── variable.h
│       ├── polyxx.h
│       ├── rational.h
│       ├── rational_interval.h
│       ├── sign_condition.h
│       ├── upolynomial_factors.h
│       ├── upolynomial.h
│       ├── value.h
│       ├── variable_db.h
│       ├── variable_list.h
│       ├── variable_order.h
│       └── version.h
└── lib
    ├── libpoly.a
    ├── libpoly.so -> libpoly.so.0
    ├── libpoly.so.0 -> libpoly.so.0.1.9
    ├── libpoly.so.0.1.9
    ├── libpolyxx.a
    ├── libpolyxx.so -> libpolyxx.so.0
    ├── libpolyxx.so.0 -> libpolyxx.so.0.1.9
    └── libpolyxx.so.0.1.9

4 directories, 51 files