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-- | 5554 | root |
root |
/usr/include/cudd/util.h
|
-rw-r--r-- | 1504 | root |
root |
/usr/include/polybori/BlockDegLexOrder.h
|
-rw-r--r-- | 1581 | root |
root |
/usr/include/polybori/BlockDegRevLexAscOrder.h
|
-rw-r--r-- | 1771 | root |
root |
/usr/include/polybori/BooleConstant.h
|
-rw-r--r-- | 3969 | root |
root |
/usr/include/polybori/BooleEnv.h
|
-rw-r--r-- | 8955 | root |
root |
/usr/include/polybori/BooleExponent.h
|
-rw-r--r-- | 11503 | root |
root |
/usr/include/polybori/BooleMonomial.h
|
-rw-r--r-- | 6066 | root |
root |
/usr/include/polybori/BoolePolyRing.h
|
-rw-r--r-- | 18063 | root |
root |
/usr/include/polybori/BoolePolynomial.h
|
-rw-r--r-- | 7805 | root |
root |
/usr/include/polybori/BooleSet.h
|
-rw-r--r-- | 2909 | root |
root |
/usr/include/polybori/BooleVariable.h
|
-rw-r--r-- | 3797 | root |
root |
/usr/include/polybori/CApplyNodeFacade.h
|
-rw-r--r-- | 4685 | root |
root |
/usr/include/polybori/CBidirectTermIter.h
|
-rw-r--r-- | 4249 | root |
root |
/usr/include/polybori/CBlockOrderingFacade.h
|
-rw-r--r-- | 16269 | root |
root |
/usr/include/polybori/CCacheManagement.h
|
-rw-r--r-- | 3045 | root |
root |
/usr/include/polybori/CCallbackWrapper.h
|
-rw-r--r-- | 943 | root |
root |
/usr/include/polybori/CCheckedIdx.h
|
-rw-r--r-- | 3216 | root |
root |
/usr/include/polybori/CCuddCore.h
|
-rw-r--r-- | 14265 | root |
root |
/usr/include/polybori/CCuddDDFacade.h
|
-rw-r--r-- | 2343 | root |
root |
/usr/include/polybori/CCuddFirstIter.h
|
-rw-r--r-- | 11298 | root |
root |
/usr/include/polybori/CCuddInterface.h
|
-rw-r--r-- | 1482 | root |
root |
/usr/include/polybori/CCuddLastIter.h
|
-rw-r--r-- | 5750 | root |
root |
/usr/include/polybori/CCuddNavigator.h
|
-rw-r--r-- | 1467 | root |
root |
/usr/include/polybori/CDDOperations.h
|
-rw-r--r-- | 3030 | root |
root |
/usr/include/polybori/CDegLexIter.h
|
-rw-r--r-- | 10076 | root |
root |
/usr/include/polybori/CDegreeCache.h
|
-rw-r--r-- | 1824 | root |
root |
/usr/include/polybori/CDelayedTermIter.h
|
-rw-r--r-- | 1038 | root |
root |
/usr/include/polybori/CErrorInfo.h
|
-rw-r--r-- | 3253 | root |
root |
/usr/include/polybori/CExpIter.h
|
-rw-r--r-- | 4117 | root |
root |
/usr/include/polybori/CExtrusivePtr.h
|
-rw-r--r-- | 2481 | root |
root |
/usr/include/polybori/CGenericIter.h
|
-rw-r--r-- | 2652 | root |
root |
/usr/include/polybori/CIdxPath.h
|
-rw-r--r-- | 2258 | root |
root |
/usr/include/polybori/CIdxVariable.h
|
-rw-r--r-- | 1041 | root |
root |
/usr/include/polybori/CLiteralCodes.h
|
-rw-r--r-- | 1946 | root |
root |
/usr/include/polybori/CMemberFunctionTraits.h
|
-rw-r--r-- | 3146 | root |
root |
/usr/include/polybori/COrderProperties.h
|
-rw-r--r-- | 7036 | root |
root |
/usr/include/polybori/COrderedIter.h
|
-rw-r--r-- | 5133 | root |
root |
/usr/include/polybori/COrderingBase.h
|
-rw-r--r-- | 6080 | root |
root |
/usr/include/polybori/COrderingFacade.h
|
-rw-r--r-- | 2625 | root |
root |
/usr/include/polybori/COrderingTags.h
|
-rw-r--r-- | 1379 | root |
root |
/usr/include/polybori/CPrintOperation.h
|
-rw-r--r-- | 1932 | root |
root |
/usr/include/polybori/CRestrictedIter.h
|
-rw-r--r-- | 1267 | root |
root |
/usr/include/polybori/CRingCore.h
|
-rw-r--r-- | 2112 | root |
root |
/usr/include/polybori/CStackSelector.h
|
-rw-r--r-- | 1842 | root |
root |
/usr/include/polybori/CStringLiteral.h
|
-rw-r--r-- | 4414 | root |
root |
/usr/include/polybori/CTermGenerator.h
|
-rw-r--r-- | 3937 | root |
root |
/usr/include/polybori/CTermIter.h
|
-rw-r--r-- | 22660 | root |
root |
/usr/include/polybori/CTermStack.h
|
-rw-r--r-- | 2060 | root |
root |
/usr/include/polybori/CVariableIter.h
|
-rw-r--r-- | 2464 | root |
root |
/usr/include/polybori/CVariableNames.h
|
-rw-r--r-- | 1517 | root |
root |
/usr/include/polybori/CacheManager.h
|
-rw-r--r-- | 1948 | root |
root |
/usr/include/polybori/DegLexOrder.h
|
-rw-r--r-- | 2027 | root |
root |
/usr/include/polybori/DegRevLexAscOrder.h
|
-rw-r--r-- | 1976 | root |
root |
/usr/include/polybori/LexOrder.h
|
-rw-r--r-- | 1498 | root |
root |
/usr/include/polybori/PBoRiError.h
|
-rw-r--r-- | 1281 | root |
root |
/usr/include/polybori/PBoRiGenericError.h
|
-rw-r--r-- | 2132 | 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-- | 6297 | root |
root |
/usr/include/polybori/generic_hash.h
|
drwxr-xr-x | 4096 | root |
root |
/usr/include/polybori/groebner
|
-rw-r--r-- | 1098 | root |
root |
/usr/include/polybori/order_tags.h
|
-rw-r--r-- | 1544 | root |
root |
/usr/include/polybori/order_traits.h
|
-rw-r--r-- | 22278 | root |
root |
/usr/include/polybori/pbori_algo.h
|
-rw-r--r-- | 19662 | root |
root |
/usr/include/polybori/pbori_algo_int.h
|
-rw-r--r-- | 8482 | root |
root |
/usr/include/polybori/pbori_algorithms.h
|
-rw-r--r-- | 7350 | root |
root |
/usr/include/polybori/pbori_defs.h
|
-rw-r--r-- | 22996 | root |
root |
/usr/include/polybori/pbori_func.h
|
-rw-r--r-- | 1920 | root |
root |
/usr/include/polybori/pbori_order.h
|
-rw-r--r-- | 1019 | root |
root |
/usr/include/polybori/pbori_routines.h
|
-rw-r--r-- | 1455 | root |
root |
/usr/include/polybori/pbori_routines_cuddext.h
|
-rw-r--r-- | 1485 | root |
root |
/usr/include/polybori/pbori_routines_dd.h
|
-rw-r--r-- | 2320 | root |
root |
/usr/include/polybori/pbori_routines_hash.h
|
-rw-r--r-- | 28770 | root |
root |
/usr/include/polybori/pbori_routines_misc.h
|
-rw-r--r-- | 13598 | root |
root |
/usr/include/polybori/pbori_routines_order.h
|
-rw-r--r-- | 1654 | root |
root |
/usr/include/polybori/pbori_tags.h
|
-rw-r--r-- | 6052 | root |
root |
/usr/include/polybori/pbori_traits.h
|
-rw-r--r-- | 819 | 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-- | 12486 | 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-- | 2656 | 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/lib/libgroebner-0.7.0.so
|
lrwxrwxrwx | 20 | root |
root |
/usr/lib/libgroebner.so
|
lrwxrwxrwx | 23 | root |
root |
/usr/lib/libpboriCudd-0.7.0.so
|
lrwxrwxrwx | 21 | root |
root |
/usr/lib/libpboriCudd.so
|
lrwxrwxrwx | 22 | root |
root |
/usr/lib/libpolybori-0.7.0.so
|
lrwxrwxrwx | 20 | root |
root |
/usr/lib/libpolybori.so
|