lib4ti2-devel: library for algebraic, geometric and combinatorial problems on linear spaces - devel
2022-01-30 23:44 0 usr/lib/
2022-01-30 23:44 13756 usr/lib/lib4ti2common.dll.a
2022-01-30 23:44 638150 usr/lib/lib4ti2gmp.dll.a
2022-01-30 23:44 629738 usr/lib/lib4ti2int32.dll.a
2022-01-30 23:44 629738 usr/lib/lib4ti2int64.dll.a
2022-01-30 23:44 104248 usr/lib/lib4ti2util.dll.a
2022-01-30 23:44 412602 usr/lib/libzsolve.dll.a
2022-01-30 23:44 0 usr/include/
2022-01-30 23:44 0 usr/include/4ti2/
2022-01-30 23:44 4953 usr/include/4ti2/4ti2.h
2022-01-30 23:44 2451 usr/include/4ti2/4ti2xx.h
2022-01-30 23:44 530 usr/include/4ti2/4ti2_config.h
2022-01-30 23:44 0 usr/include/groebner/
2022-01-30 23:44 1326 usr/include/groebner/Algorithm.h
2022-01-30 23:44 1344 usr/include/groebner/BasicCompletion.h
2022-01-30 23:44 1442 usr/include/groebner/BasicGeneration.h
2022-01-30 23:44 1338 usr/include/groebner/BasicOptions.h
2022-01-30 23:44 1504 usr/include/groebner/BasicReduction.h
2022-01-30 23:44 15551 usr/include/groebner/Binomial.h
2022-01-30 23:44 2708 usr/include/groebner/BinomialArray.h
2022-01-30 23:44 1096 usr/include/groebner/BinomialArrayStream.h
2022-01-30 23:44 1336 usr/include/groebner/BinomialCollection.h
2022-01-30 23:44 3199 usr/include/groebner/BinomialFactory.h
2022-01-30 23:44 4037 usr/include/groebner/BinomialSet.h
2022-01-30 23:44 1088 usr/include/groebner/BinomialSetStream.h
2022-01-30 23:44 1093 usr/include/groebner/BinomialStream.h
2022-01-30 23:44 1118 usr/include/groebner/BitSet.h
2022-01-30 23:44 1196 usr/include/groebner/BitSetStream.h
2022-01-30 23:44 2649 usr/include/groebner/Bounded.h
2022-01-30 23:44 3649 usr/include/groebner/CircuitImplementation.h
2022-01-30 23:44 10231 usr/include/groebner/CircuitImplementation.tpp
2022-01-30 23:44 3162 usr/include/groebner/CircuitMatrixAlgorithm.h
2022-01-30 23:44 21928 usr/include/groebner/CircuitMatrixAlgorithm.tpp
2022-01-30 23:44 1510 usr/include/groebner/CircuitOptions.h
2022-01-30 23:44 1299 usr/include/groebner/CircuitsAPI.h
2022-01-30 23:44 2654 usr/include/groebner/CircuitSupportAlgorithm.h
2022-01-30 23:44 21431 usr/include/groebner/CircuitSupportAlgorithm.tpp
2022-01-30 23:44 2707 usr/include/groebner/Completion.h
2022-01-30 23:44 1377 usr/include/groebner/DataType.h
2022-01-30 23:44 970 usr/include/groebner/Debug.h
2022-01-30 23:44 1475 usr/include/groebner/DiagonalAlgorithm.h
2022-01-30 23:44 2921 usr/include/groebner/DiagonalAlgorithm.tpp
2022-01-30 23:44 1203 usr/include/groebner/EliminateAlgorithm.h
2022-01-30 23:44 1696 usr/include/groebner/Euclidean.h
2022-01-30 23:44 1285 usr/include/groebner/Extract.h
2022-01-30 23:44 3290 usr/include/groebner/Feasible.h
2022-01-30 23:44 1143 usr/include/groebner/FeasibleStream.h
2022-01-30 23:44 972 usr/include/groebner/Filter.h
2022-01-30 23:44 2166 usr/include/groebner/FilterReduction.h
2022-01-30 23:44 1150 usr/include/groebner/FlipCompletion.h
2022-01-30 23:44 1384 usr/include/groebner/GeneratingSet.h
2022-01-30 23:44 1452 usr/include/groebner/Generation.h
2022-01-30 23:44 1643 usr/include/groebner/Globals.h
2022-01-30 23:44 1055 usr/include/groebner/Grading.h
2022-01-30 23:44 1592 usr/include/groebner/GroebnerBasis.h
2022-01-30 23:44 2416 usr/include/groebner/HermiteAlgorithm.h
2022-01-30 23:44 5357 usr/include/groebner/HermiteAlgorithm.tpp
2022-01-30 23:44 1796 usr/include/groebner/HybridGenSet.h
2022-01-30 23:44 960 usr/include/groebner/Index.h
2022-01-30 23:44 1082 usr/include/groebner/IndexBinomialSet.h
2022-01-30 23:44 1280 usr/include/groebner/IndexSetConverter.h
2022-01-30 23:44 1592 usr/include/groebner/LatticeBasis.h
2022-01-30 23:44 17686 usr/include/groebner/LongDenseIndexSet.h
2022-01-30 23:44 1505 usr/include/groebner/LongDenseIndexSetStream.h
2022-01-30 23:44 1807 usr/include/groebner/Markov.h
2022-01-30 23:44 2667 usr/include/groebner/MaxMinGenSet.h
2022-01-30 23:44 1609 usr/include/groebner/Minimize.h
2022-01-30 23:44 1356 usr/include/groebner/MinimizeOptions.h
2022-01-30 23:44 1851 usr/include/groebner/OnesReduction.h
2022-01-30 23:44 3912 usr/include/groebner/OnesTree.h
2022-01-30 23:44 8973 usr/include/groebner/OnesTree.tpp
2022-01-30 23:44 2433 usr/include/groebner/Optimise.h
2022-01-30 23:44 1308 usr/include/groebner/Options.h
2022-01-30 23:44 1550 usr/include/groebner/OrderedCompletion.h
2022-01-30 23:44 1030 usr/include/groebner/Permutation.h
2022-01-30 23:44 2628 usr/include/groebner/ProjectLiftGenSet.h
2022-01-30 23:44 3403 usr/include/groebner/QSolveAlgorithm.h
2022-01-30 23:44 2210 usr/include/groebner/QSolveAPI.h
2022-01-30 23:44 1045 usr/include/groebner/QSolveConsOrder.h
2022-01-30 23:44 1015 usr/include/groebner/QSolveVariant.h
2022-01-30 23:44 1455 usr/include/groebner/RayAlgorithm.h
2022-01-30 23:44 4846 usr/include/groebner/RayImplementation.h
2022-01-30 23:44 10110 usr/include/groebner/RayImplementation.tpp
2022-01-30 23:44 3364 usr/include/groebner/RayMatrixAlgorithm.h
2022-01-30 23:44 33413 usr/include/groebner/RayMatrixAlgorithm.tpp
2022-01-30 23:44 1279 usr/include/groebner/RaysAPI.h
2022-01-30 23:44 2676 usr/include/groebner/RaySupportAlgorithm.h
2022-01-30 23:44 47532 usr/include/groebner/RaySupportAlgorithm.tpp
2022-01-30 23:44 1266 usr/include/groebner/Reduction.h
2022-01-30 23:44 2876 usr/include/groebner/SaturationGenSet.h
2022-01-30 23:44 12624 usr/include/groebner/ShortDenseIndexSet.h
2022-01-30 23:44 1514 usr/include/groebner/ShortDenseIndexSetStream.h
2022-01-30 23:44 992 usr/include/groebner/SignPattern.h
2022-01-30 23:44 957 usr/include/groebner/Size.h
2022-01-30 23:44 3307 usr/include/groebner/Statistics.h
2022-01-30 23:44 4504 usr/include/groebner/SupportTree.h
2022-01-30 23:44 8723 usr/include/groebner/SupportTree.tpp
2022-01-30 23:44 1627 usr/include/groebner/SyzygyCompletion.h
2022-01-30 23:44 1900 usr/include/groebner/SyzygyGeneration.h
2022-01-30 23:44 2360 usr/include/groebner/TermOrder.h
2022-01-30 23:44 1229 usr/include/groebner/Timer.h
2022-01-30 23:44 1085 usr/include/groebner/Truncate.h
2022-01-30 23:44 15910 usr/include/groebner/Vector.h
2022-01-30 23:44 7085 usr/include/groebner/VectorArray.h
2022-01-30 23:44 3851 usr/include/groebner/VectorArrayAPI.h
2022-01-30 23:44 1524 usr/include/groebner/VectorArrayStream.h
2022-01-30 23:44 1490 usr/include/groebner/VectorStream.h
2022-01-30 23:44 1857 usr/include/groebner/WalkAlgorithm.h
2022-01-30 23:44 1332 usr/include/groebner/WalkOptions.h
2022-01-30 23:44 1025 usr/include/groebner/Weight.h
2022-01-30 23:44 2244 usr/include/groebner/WeightAlgorithm.h
2022-01-30 23:44 2071 usr/include/groebner/WeightedBinomialSet.h
2022-01-30 23:44 1981 usr/include/groebner/WeightedReduction.h
2022-01-30 23:44 0 usr/include/util/
2022-01-30 23:44 32 usr/include/util/genmodel.h
2022-01-30 23:44 31 usr/include/util/gensymm.h
2022-01-30 23:44 3154 usr/include/util/myheader.h
2022-01-30 23:44 1865 usr/include/util/orbit.h
2022-01-30 23:44 142 usr/include/util/output.h
2022-01-30 23:44 2531 usr/include/util/print.h
2022-01-30 23:44 5054 usr/include/util/vector.h
2022-01-30 23:44 0 usr/include/zsolve/
2022-01-30 23:44 35366 usr/include/zsolve/Algorithm.hpp
2022-01-30 23:44 1876 usr/include/zsolve/BitSet.h
2022-01-30 23:44 2189 usr/include/zsolve/BoundAPI.hpp
2022-01-30 23:44 2582 usr/include/zsolve/Controller.hpp
2022-01-30 23:44 15063 usr/include/zsolve/DefaultController.hpp
2022-01-30 23:44 1706 usr/include/zsolve/Exception.h
2022-01-30 23:44 2731 usr/include/zsolve/GraverAPI.hpp
2022-01-30 23:44 4741 usr/include/zsolve/Heuristics.hpp
2022-01-30 23:44 3191 usr/include/zsolve/HilbertAPI.hpp
2022-01-30 23:44 3177 usr/include/zsolve/Integer.h
2022-01-30 23:44 13279 usr/include/zsolve/Lattice.hpp
2022-01-30 23:44 9335 usr/include/zsolve/LinearSystem.hpp
2022-01-30 23:44 2150 usr/include/zsolve/Norms.hpp
2022-01-30 23:44 1984 usr/include/zsolve/Options.h
2022-01-30 23:44 1141 usr/include/zsolve/RelAPI.h
2022-01-30 23:44 3460 usr/include/zsolve/Relation.hpp
2022-01-30 23:44 1145 usr/include/zsolve/SignAPI.h
2022-01-30 23:44 1369 usr/include/zsolve/Timer.h
2022-01-30 23:44 7087 usr/include/zsolve/Variables.hpp
2022-01-30 23:44 4529 usr/include/zsolve/Vector.hpp
2022-01-30 23:44 7050 usr/include/zsolve/VectorArray.hpp
2022-01-30 23:44 4965 usr/include/zsolve/VectorArrayAPI.hpp
2022-01-30 23:44 3511 usr/include/zsolve/zsolve.h
2022-01-30 23:44 13608 usr/include/zsolve/ZSolveAPI.hpp