drwxr-xr-x | 4096 | root |
root |
/usr/include/cudd
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori
|
-rw-r--r-- | 50219 | root |
root |
/usr/include/cudd/cudd.h
|
-rw-r--r-- | 47714 | root |
root |
/usr/include/cudd/cuddInt.h
|
-rw-r--r-- | 26892 | root |
root |
/usr/include/cudd/cuddObj.hh
|
-rw-r--r-- | 7164 | root |
root |
/usr/include/cudd/epd.h
|
-rw-r--r-- | 7028 | root |
root |
/usr/include/cudd/mtr.h
|
-rw-r--r-- | 7088 | root |
root |
/usr/include/cudd/st.h
|
-rw-r--r-- | 5535 | root |
root |
/usr/include/cudd/util.h
|
-rw-r--r-- | 3923 | root |
root |
/usr/include/polybori/BlockDegLexOrder.h
|
-rw-r--r-- | 4239 | root |
root |
/usr/include/polybori/BlockDegRevLexAscOrder.h
|
-rw-r--r-- | 1854 | root |
root |
/usr/include/polybori/BooleConstant.h
|
-rw-r--r-- | 3761 | root |
root |
/usr/include/polybori/BooleEnv.h
|
-rw-r--r-- | 10780 | root |
root |
/usr/include/polybori/BooleExponent.h
|
-rw-r--r-- | 16761 | root |
root |
/usr/include/polybori/BooleMonomial.h
|
-rw-r--r-- | 8063 | root |
root |
/usr/include/polybori/BoolePolyRing.h
|
-rw-r--r-- | 28593 | root |
root |
/usr/include/polybori/BoolePolynomial.h
|
-rw-r--r-- | 4100 | root |
root |
/usr/include/polybori/BooleRing.h
|
-rw-r--r-- | 13317 | root |
root |
/usr/include/polybori/BooleSet.h
|
-rw-r--r-- | 5239 | root |
root |
/usr/include/polybori/BooleVariable.h
|
-rw-r--r-- | 5272 | root |
root |
/usr/include/polybori/CBidirectTermIter.h
|
-rw-r--r-- | 19897 | root |
root |
/usr/include/polybori/CCacheManagement.h
|
-rw-r--r-- | 5827 | root |
root |
/usr/include/polybori/CCuddCore.h
|
-rw-r--r-- | 3320 | root |
root |
/usr/include/polybori/CCuddFirstIter.h
|
-rw-r--r-- | 2167 | root |
root |
/usr/include/polybori/CCuddGetNode.h
|
-rw-r--r-- | 11627 | root |
root |
/usr/include/polybori/CCuddInterface.h
|
-rw-r--r-- | 2361 | root |
root |
/usr/include/polybori/CCuddLastIter.h
|
-rw-r--r-- | 8422 | root |
root |
/usr/include/polybori/CCuddNavigator.h
|
-rw-r--r-- | 10458 | root |
root |
/usr/include/polybori/CCuddZDD.h
|
-rw-r--r-- | 26414 | root |
root |
/usr/include/polybori/CDDInterface.h
|
-rw-r--r-- | 11152 | root |
root |
/usr/include/polybori/CDDManager.h
|
-rw-r--r-- | 2266 | root |
root |
/usr/include/polybori/CDDOperations.h
|
-rw-r--r-- | 3692 | root |
root |
/usr/include/polybori/CDegLexIter.h
|
-rw-r--r-- | 9593 | root |
root |
/usr/include/polybori/CDegreeCache.h
|
-rw-r--r-- | 2322 | root |
root |
/usr/include/polybori/CDelayedTermIter.h
|
-rw-r--r-- | 1433 | root |
root |
/usr/include/polybori/CErrorInfo.h
|
-rw-r--r-- | 3624 | root |
root |
/usr/include/polybori/CExpIter.h
|
-rw-r--r-- | 4667 | root |
root |
/usr/include/polybori/CGenericIter.h
|
-rw-r--r-- | 3252 | root |
root |
/usr/include/polybori/CIdxPath.h
|
-rw-r--r-- | 2536 | root |
root |
/usr/include/polybori/CIdxVariable.h
|
-rw-r--r-- | 1413 | root |
root |
/usr/include/polybori/CLiteralCodes.h
|
-rw-r--r-- | 5835 | root |
root |
/usr/include/polybori/COrderBase.h
|
-rw-r--r-- | 4279 | root |
root |
/usr/include/polybori/COrderProperties.h
|
-rw-r--r-- | 9680 | root |
root |
/usr/include/polybori/COrderedIter.h
|
-rw-r--r-- | 1657 | root |
root |
/usr/include/polybori/CPrintOperation.h
|
-rw-r--r-- | 2346 | root |
root |
/usr/include/polybori/CRestrictedIter.h
|
-rw-r--r-- | 2434 | root |
root |
/usr/include/polybori/CStackSelector.h
|
-rw-r--r-- | 2214 | root |
root |
/usr/include/polybori/CStringLiteral.h
|
-rw-r--r-- | 6739 | root |
root |
/usr/include/polybori/CTermGenerator.h
|
-rw-r--r-- | 6835 | root |
root |
/usr/include/polybori/CTermIter.h
|
-rw-r--r-- | 25594 | root |
root |
/usr/include/polybori/CTermStack.h
|
-rw-r--r-- | 2473 | root |
root |
/usr/include/polybori/CVariableIter.h
|
-rw-r--r-- | 3143 | root |
root |
/usr/include/polybori/CVariableNames.h
|
-rw-r--r-- | 2031 | root |
root |
/usr/include/polybori/CacheManager.h
|
-rw-r--r-- | 4000 | root |
root |
/usr/include/polybori/DegLexOrder.h
|
-rw-r--r-- | 2722 | root |
root |
/usr/include/polybori/DegRevLexAscOrder.h
|
-rw-r--r-- | 4431 | root |
root |
/usr/include/polybori/LexOrder.h
|
-rw-r--r-- | 15739 | root |
root |
/usr/include/polybori/OrderedManager.h
|
-rw-r--r-- | 1656 | root |
root |
/usr/include/polybori/PBoRiError.h
|
-rw-r--r-- | 1573 | root |
root |
/usr/include/polybori/PBoRiGenericError.h
|
-rw-r--r-- | 2587 | root |
root |
/usr/include/polybori/PBoRiOutIter.h
|
-rw-r--r-- | 0 | root |
root |
/usr/include/polybori/cacheopts.h
|
-rw-r--r-- | 11529 | root |
root |
/usr/include/polybori/extrafwd.h
|
-rw-r--r-- | 6954 | root |
root |
/usr/include/polybori/generic_hash.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/groebner
|
-rw-r--r-- | 1754 | root |
root |
/usr/include/polybori/order_tags.h
|
-rw-r--r-- | 1200 | root |
root |
/usr/include/polybori/order_traits.h
|
-rw-r--r-- | 26750 | root |
root |
/usr/include/polybori/pbori_algo.h
|
-rw-r--r-- | 20792 | root |
root |
/usr/include/polybori/pbori_algo_int.h
|
-rw-r--r-- | 10835 | root |
root |
/usr/include/polybori/pbori_algorithms.h
|
-rw-r--r-- | 14842 | root |
root |
/usr/include/polybori/pbori_defs.h
|
-rw-r--r-- | 27508 | root |
root |
/usr/include/polybori/pbori_func.h
|
-rw-r--r-- | 3345 | root |
root |
/usr/include/polybori/pbori_order.h
|
-rw-r--r-- | 1682 | root |
root |
/usr/include/polybori/pbori_routines.h
|
-rw-r--r-- | 1209 | root |
root |
/usr/include/polybori/pbori_routines_cuddext.h
|
-rw-r--r-- | 2538 | root |
root |
/usr/include/polybori/pbori_routines_dd.h
|
-rw-r--r-- | 3188 | root |
root |
/usr/include/polybori/pbori_routines_hash.h
|
-rw-r--r-- | 32419 | root |
root |
/usr/include/polybori/pbori_routines_misc.h
|
-rw-r--r-- | 14853 | root |
root |
/usr/include/polybori/pbori_routines_order.h
|
-rw-r--r-- | 1461 | root |
root |
/usr/include/polybori/pbori_tags.h
|
-rw-r--r-- | 9046 | root |
root |
/usr/include/polybori/pbori_traits.h
|
-rw-r--r-- | 2206 | root |
root |
/usr/include/polybori/polybori.h
|
-rw-r--r-- | 3091 | root |
root |
/usr/include/polybori/groebner/cache_manager.h
|
-rw-r--r-- | 223 | root |
root |
/usr/include/polybori/groebner/dlex4data.h
|
-rw-r--r-- | 229 | root |
root |
/usr/include/polybori/groebner/dp_asc4data.h
|
-rw-r--r-- | 2850 | root |
root |
/usr/include/polybori/groebner/fglm.h
|
-rw-r--r-- | 194 | root |
root |
/usr/include/polybori/groebner/groebner.h
|
-rw-r--r-- | 11830 | root |
root |
/usr/include/polybori/groebner/groebner_alg.h
|
-rw-r--r-- | 1163 | root |
root |
/usr/include/polybori/groebner/groebner_defs.h
|
-rw-r--r-- | 644 | root |
root |
/usr/include/polybori/groebner/interpolate.h
|
-rw-r--r-- | 1908 | root |
root |
/usr/include/polybori/groebner/lexbuckets.h
|
-rw-r--r-- | 2506 | root |
root |
/usr/include/polybori/groebner/literal_factorization.h
|
-rw-r--r-- | 217 | root |
root |
/usr/include/polybori/groebner/lp4data.h
|
-rw-r--r-- | 2581 | root |
root |
/usr/include/polybori/groebner/nf.h
|
-rw-r--r-- | 5228 | root |
root |
/usr/include/polybori/groebner/pairs.h
|
-rw-r--r-- | 282 | root |
root |
/usr/include/polybori/groebner/polynomial_properties.h
|
-rw-r--r-- | 673 | root |
root |
/usr/include/polybori/groebner/randomset.h
|
lrwxrwxrwx | 22 | root |
root |
/usr/lib64/libgroebner-0.6.3.so
|
lrwxrwxrwx | 20 | root |
root |
/usr/lib64/libgroebner.so
|
lrwxrwxrwx | 23 | root |
root |
/usr/lib64/libpboriCudd-0.6.3.so
|
lrwxrwxrwx | 21 | root |
root |
/usr/lib64/libpboriCudd.so
|
lrwxrwxrwx | 22 | root |
root |
/usr/lib64/libpolybori-0.6.3.so
|
lrwxrwxrwx | 20 | root |
root |
/usr/lib64/libpolybori.so
|