Base Package:
mingw-w64-4ti2

Description:
Software package for algebraic, geometric and combinatorial problems on linear spaces (mingw-w64)
Group(s):
-
Repo:
clangarm64
Homepage:
https://4ti2.github.io/
License(s):
GPL-2.0-or-later
Version:
1.6.13-1
External:
Anitya
4ti2
Arch Linux
1.6.13
Cygwin
1.6.10 | lib4ti2-1.6.10-1-src.tar.xz
Gentoo
1.6.10
Repology
4ti2

Installation:
pacman -S mingw-w64-clang-aarch64-4ti2
File:
https://mirror.msys2.org/mingw/clangarm64/mingw-w64-clang-aarch64-4ti2-1.6.13-1-any.pkg.tar.zst
SHA256:
8d537ae08ef84e4a993736adba60f16310a7b838a21582ef500be8fa6451dbd5
Last Packager:
CI (msys2/msys2-autobuild/db1199d2/19265164771)
Build Date:
2025-11-11 12:14:55
Package Size:
0.93 MB
Installed Size:
4.96 MB
Source-Only Tarball:
https://mirror.msys2.org/mingw/sources/mingw-w64-4ti2-1.6.13-1.src.tar.zst

Dependencies:
Optional Dependencies:
-
Build Dependencies:
Check Dependencies:
-
Provides:
-
Conflicts:
-
Replaces:
-

Provided By:
-
Required By:
-

Files:
/clangarm64/bin/4ti2gmp.exe
/clangarm64/bin/4ti2int32.exe
/clangarm64/bin/4ti2int64.exe
/clangarm64/bin/circuits
/clangarm64/bin/genmodel.exe
/clangarm64/bin/gensymm.exe
/clangarm64/bin/graver
/clangarm64/bin/groebner
/clangarm64/bin/hilbert
/clangarm64/bin/lib4ti2common-0.dll
/clangarm64/bin/lib4ti2gmp-0.dll
/clangarm64/bin/lib4ti2int32-0.dll
/clangarm64/bin/lib4ti2int64-0.dll
/clangarm64/bin/lib4ti2util-0.dll
/clangarm64/bin/libzsolve-0.dll
/clangarm64/bin/markov
/clangarm64/bin/minimize
/clangarm64/bin/normalform
/clangarm64/bin/output.exe
/clangarm64/bin/ppi.exe
/clangarm64/bin/qsolve
/clangarm64/bin/rays
/clangarm64/bin/walk
/clangarm64/bin/zbasis
/clangarm64/bin/zsolve.exe
/clangarm64/include/4ti2/4ti2.h
/clangarm64/include/4ti2/4ti2_config.h
/clangarm64/include/4ti2/4ti2xx.h
/clangarm64/include/groebner/Algorithm.h
/clangarm64/include/groebner/BasicCompletion.h
/clangarm64/include/groebner/BasicGeneration.h
/clangarm64/include/groebner/BasicOptions.h
/clangarm64/include/groebner/BasicReduction.h
/clangarm64/include/groebner/Binomial.h
/clangarm64/include/groebner/BinomialArray.h
/clangarm64/include/groebner/BinomialArrayStream.h
/clangarm64/include/groebner/BinomialCollection.h
/clangarm64/include/groebner/BinomialFactory.h
/clangarm64/include/groebner/BinomialSet.h
/clangarm64/include/groebner/BinomialSetStream.h
/clangarm64/include/groebner/BinomialStream.h
/clangarm64/include/groebner/BitSet.h
/clangarm64/include/groebner/BitSetStream.h
/clangarm64/include/groebner/Bounded.h
/clangarm64/include/groebner/CircuitImplementation.h
/clangarm64/include/groebner/CircuitImplementation.tpp
/clangarm64/include/groebner/CircuitMatrixAlgorithm.h
/clangarm64/include/groebner/CircuitMatrixAlgorithm.tpp
/clangarm64/include/groebner/CircuitOptions.h
/clangarm64/include/groebner/CircuitSupportAlgorithm.h
/clangarm64/include/groebner/CircuitSupportAlgorithm.tpp
/clangarm64/include/groebner/CircuitsAPI.h
/clangarm64/include/groebner/Completion.h
/clangarm64/include/groebner/DataType.h
/clangarm64/include/groebner/Debug.h
/clangarm64/include/groebner/DiagonalAlgorithm.h
/clangarm64/include/groebner/DiagonalAlgorithm.tpp
/clangarm64/include/groebner/EliminateAlgorithm.h
/clangarm64/include/groebner/Euclidean.h
/clangarm64/include/groebner/Extract.h
/clangarm64/include/groebner/Feasible.h
/clangarm64/include/groebner/FeasibleStream.h
/clangarm64/include/groebner/Filter.h
/clangarm64/include/groebner/FilterReduction.h
/clangarm64/include/groebner/FlipCompletion.h
/clangarm64/include/groebner/GeneratingSet.h
/clangarm64/include/groebner/Generation.h
/clangarm64/include/groebner/Globals.h
/clangarm64/include/groebner/Grading.h
/clangarm64/include/groebner/GroebnerBasis.h
/clangarm64/include/groebner/HermiteAlgorithm.h
/clangarm64/include/groebner/HermiteAlgorithm.tpp
/clangarm64/include/groebner/HybridGenSet.h
/clangarm64/include/groebner/Index.h
/clangarm64/include/groebner/IndexBinomialSet.h
/clangarm64/include/groebner/IndexSetConverter.h
/clangarm64/include/groebner/LatticeBasis.h
/clangarm64/include/groebner/LongDenseIndexSet.h
/clangarm64/include/groebner/LongDenseIndexSetStream.h
/clangarm64/include/groebner/Markov.h
/clangarm64/include/groebner/MaxMinGenSet.h
/clangarm64/include/groebner/Minimize.h
/clangarm64/include/groebner/MinimizeOptions.h
/clangarm64/include/groebner/OnesReduction.h
/clangarm64/include/groebner/OnesTree.h
/clangarm64/include/groebner/OnesTree.tpp
/clangarm64/include/groebner/Optimise.h
/clangarm64/include/groebner/Options.h
/clangarm64/include/groebner/OrderedCompletion.h
/clangarm64/include/groebner/Permutation.h
/clangarm64/include/groebner/ProjectLiftGenSet.h
/clangarm64/include/groebner/QSolveAPI.h
/clangarm64/include/groebner/QSolveAlgorithm.h
/clangarm64/include/groebner/QSolveConsOrder.h
/clangarm64/include/groebner/QSolveVariant.h
/clangarm64/include/groebner/RayAlgorithm.h
/clangarm64/include/groebner/RayImplementation.h
/clangarm64/include/groebner/RayImplementation.tpp
/clangarm64/include/groebner/RayMatrixAlgorithm.h
/clangarm64/include/groebner/RayMatrixAlgorithm.tpp
/clangarm64/include/groebner/RaySupportAlgorithm.h
/clangarm64/include/groebner/RaySupportAlgorithm.tpp
/clangarm64/include/groebner/RaysAPI.h
/clangarm64/include/groebner/Reduction.h
/clangarm64/include/groebner/SaturationGenSet.h
/clangarm64/include/groebner/ShortDenseIndexSet.h
/clangarm64/include/groebner/ShortDenseIndexSetStream.h
/clangarm64/include/groebner/SignPattern.h
/clangarm64/include/groebner/Size.h
/clangarm64/include/groebner/Statistics.h
/clangarm64/include/groebner/SupportTree.h
/clangarm64/include/groebner/SupportTree.tpp
/clangarm64/include/groebner/SyzygyCompletion.h
/clangarm64/include/groebner/SyzygyGeneration.h
/clangarm64/include/groebner/TermOrder.h
/clangarm64/include/groebner/Timer.h
/clangarm64/include/groebner/Truncate.h
/clangarm64/include/groebner/Vector.h
/clangarm64/include/groebner/VectorArray.h
/clangarm64/include/groebner/VectorArrayAPI.h
/clangarm64/include/groebner/VectorArrayStream.h
/clangarm64/include/groebner/VectorStream.h
/clangarm64/include/groebner/WalkAlgorithm.h
/clangarm64/include/groebner/WalkOptions.h
/clangarm64/include/groebner/Weight.h
/clangarm64/include/groebner/WeightAlgorithm.h
/clangarm64/include/groebner/WeightedBinomialSet.h
/clangarm64/include/groebner/WeightedReduction.h
/clangarm64/include/util/genmodel.h
/clangarm64/include/util/gensymm.h
/clangarm64/include/util/myheader.h
/clangarm64/include/util/orbit.h
/clangarm64/include/util/output.h
/clangarm64/include/util/print.h
/clangarm64/include/util/vector.h
/clangarm64/include/zsolve/Algorithm.hpp
/clangarm64/include/zsolve/BitSet.h
/clangarm64/include/zsolve/BoundAPI.hpp
/clangarm64/include/zsolve/Controller.hpp
/clangarm64/include/zsolve/DefaultController.hpp
/clangarm64/include/zsolve/Exception.h
/clangarm64/include/zsolve/GraverAPI.hpp
/clangarm64/include/zsolve/Heuristics.hpp
/clangarm64/include/zsolve/HilbertAPI.hpp
/clangarm64/include/zsolve/Integer.h
/clangarm64/include/zsolve/Lattice.hpp
/clangarm64/include/zsolve/LinearSystem.hpp
/clangarm64/include/zsolve/Norms.hpp
/clangarm64/include/zsolve/Options.h
/clangarm64/include/zsolve/RelAPI.h
/clangarm64/include/zsolve/Relation.hpp
/clangarm64/include/zsolve/SignAPI.h
/clangarm64/include/zsolve/Timer.h
/clangarm64/include/zsolve/Variables.hpp
/clangarm64/include/zsolve/Vector.hpp
/clangarm64/include/zsolve/VectorArray.hpp
/clangarm64/include/zsolve/VectorArrayAPI.hpp
/clangarm64/include/zsolve/ZSolveAPI.hpp
/clangarm64/include/zsolve/zsolve.h
/clangarm64/lib/lib4ti2common.dll.a
/clangarm64/lib/lib4ti2gmp.dll.a
/clangarm64/lib/lib4ti2int32.dll.a
/clangarm64/lib/lib4ti2int64.dll.a
/clangarm64/lib/lib4ti2util.dll.a
/clangarm64/lib/libzsolve.dll.a
/clangarm64/share/doc/4ti2/4ti2_manual.pdf
/clangarm64/share/licenses/4ti2/LICENSE
Last Update: 2025-11-13 15:18:28 [Request update]