Sophie

Sophie

distrib > Mandriva > current > x86_64 > by-pkgid > eaf88398a667bf0311367eff2da1e5f8 > files

lib64polybori-devel-0.6.3.20091028-7mdv2010.1.x86_64.rpm

Files

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