Linux workstation

openSUSE Tumbleweed native package

4ti2-devel

4ti2 的开发文件

Packages / openSUSE Tumbleweed / Development/Libraries/C and C++ / 4ti2-devel

[Source: 4ti2]

Package: 4ti2-devel (1.6.15-1.4)

External Resources:

Homepage: [4ti2.github.io]

Similar packages:

  • [4ti2]

    用于线性空间上代数、几何与组合问题的软件包

  • [lib4ti2-0]

    使用 4ti2 计算 Gröbner 基的库

  • [libzsolve0]

    Library for solving linear systems over integers for 4ti2

4ti2 的开发文件

此子软件包包含用于针对 4ti2 库进行开发的 头文件和库链接。

Other Packages Related to 4ti2-devel:

  • dep: [lib4ti2-0] (= 1.6.15)

    使用 4ti2 计算 Gröbner 基的库

  • dep: [libzsolve0] (= 1.6.15)

    Library for solving linear systems over integers for 4ti2

Download 4ti2-devel

ArchitecturePackage SizeInstalled SizeFiles
x86_6477 KiB555 KiB[list of files]

Package file paths (145)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

  • /usr/include/4ti2
  • /usr/include/4ti2/4ti2
  • /usr/include/4ti2/4ti2/4ti2_config.h
  • /usr/include/4ti2/4ti2/4ti2.h
  • /usr/include/4ti2/4ti2/4ti2xx.h
  • /usr/include/4ti2/groebner
  • /usr/include/4ti2/groebner/Algorithm.h
  • /usr/include/4ti2/groebner/BasicCompletion.h
  • /usr/include/4ti2/groebner/BasicGeneration.h
  • /usr/include/4ti2/groebner/BasicOptions.h
  • /usr/include/4ti2/groebner/BasicReduction.h
  • /usr/include/4ti2/groebner/BinomialArray.h
  • /usr/include/4ti2/groebner/BinomialArrayStream.h
  • /usr/include/4ti2/groebner/BinomialCollection.h
  • /usr/include/4ti2/groebner/BinomialFactory.h
  • /usr/include/4ti2/groebner/Binomial.h
  • /usr/include/4ti2/groebner/BinomialSet.h
  • /usr/include/4ti2/groebner/BinomialSetStream.h
  • /usr/include/4ti2/groebner/BinomialStream.h
  • /usr/include/4ti2/groebner/BitSet.h
  • /usr/include/4ti2/groebner/BitSetStream.h
  • /usr/include/4ti2/groebner/Bounded.h
  • /usr/include/4ti2/groebner/CircuitImplementation.h
  • /usr/include/4ti2/groebner/CircuitImplementation.tpp
  • /usr/include/4ti2/groebner/CircuitMatrixAlgorithm.h
  • /usr/include/4ti2/groebner/CircuitMatrixAlgorithm.tpp
  • /usr/include/4ti2/groebner/CircuitOptions.h
  • /usr/include/4ti2/groebner/CircuitsAPI.h
  • /usr/include/4ti2/groebner/CircuitSupportAlgorithm.h
  • /usr/include/4ti2/groebner/CircuitSupportAlgorithm.tpp
  • /usr/include/4ti2/groebner/Completion.h
  • /usr/include/4ti2/groebner/DataType.h
  • /usr/include/4ti2/groebner/Debug.h
  • /usr/include/4ti2/groebner/DiagonalAlgorithm.h
  • /usr/include/4ti2/groebner/DiagonalAlgorithm.tpp
  • /usr/include/4ti2/groebner/EliminateAlgorithm.h
  • /usr/include/4ti2/groebner/Euclidean.h
  • /usr/include/4ti2/groebner/Extract.h
  • /usr/include/4ti2/groebner/Feasible.h
  • /usr/include/4ti2/groebner/FeasibleStream.h
  • /usr/include/4ti2/groebner/Filter.h
  • /usr/include/4ti2/groebner/FilterReduction.h
  • /usr/include/4ti2/groebner/FlipCompletion.h
  • /usr/include/4ti2/groebner/GeneratingSet.h
  • /usr/include/4ti2/groebner/Generation.h
  • /usr/include/4ti2/groebner/Globals.h
  • /usr/include/4ti2/groebner/Grading.h
  • /usr/include/4ti2/groebner/GroebnerBasis.h
  • /usr/include/4ti2/groebner/HermiteAlgorithm.h
  • /usr/include/4ti2/groebner/HermiteAlgorithm.tpp
  • /usr/include/4ti2/groebner/HybridGenSet.h
  • /usr/include/4ti2/groebner/IndexBinomialSet.h
  • /usr/include/4ti2/groebner/Index.h
  • /usr/include/4ti2/groebner/IndexSetConverter.h
  • /usr/include/4ti2/groebner/LatticeBasis.h
  • /usr/include/4ti2/groebner/LongDenseIndexSet.h
  • /usr/include/4ti2/groebner/LongDenseIndexSetStream.h
  • /usr/include/4ti2/groebner/Markov.h
  • /usr/include/4ti2/groebner/MaxMinGenSet.h
  • /usr/include/4ti2/groebner/Minimize.h
  • /usr/include/4ti2/groebner/MinimizeOptions.h
  • /usr/include/4ti2/groebner/OnesReduction.h
  • /usr/include/4ti2/groebner/OnesTree.h
  • /usr/include/4ti2/groebner/OnesTree.tpp
  • /usr/include/4ti2/groebner/Optimise.h
  • /usr/include/4ti2/groebner/Options.h
  • /usr/include/4ti2/groebner/OrderedCompletion.h
  • /usr/include/4ti2/groebner/Permutation.h
  • /usr/include/4ti2/groebner/ProjectLiftGenSet.h
  • /usr/include/4ti2/groebner/QSolveAlgorithm.h
  • /usr/include/4ti2/groebner/QSolveAPI.h
  • /usr/include/4ti2/groebner/QSolveConsOrder.h
  • /usr/include/4ti2/groebner/QSolveVariant.h
  • /usr/include/4ti2/groebner/RayAlgorithm.h
  • /usr/include/4ti2/groebner/RayImplementation.h
  • /usr/include/4ti2/groebner/RayImplementation.tpp
  • /usr/include/4ti2/groebner/RayMatrixAlgorithm.h
  • /usr/include/4ti2/groebner/RayMatrixAlgorithm.tpp
  • /usr/include/4ti2/groebner/RaysAPI.h
  • /usr/include/4ti2/groebner/RaySupportAlgorithm.h
  • /usr/include/4ti2/groebner/RaySupportAlgorithm.tpp
  • /usr/include/4ti2/groebner/Reduction.h
  • /usr/include/4ti2/groebner/SaturationGenSet.h
  • /usr/include/4ti2/groebner/ShortDenseIndexSet.h
  • /usr/include/4ti2/groebner/ShortDenseIndexSetStream.h
  • /usr/include/4ti2/groebner/SignPattern.h
  • /usr/include/4ti2/groebner/Size.h
  • /usr/include/4ti2/groebner/Statistics.h
  • /usr/include/4ti2/groebner/SupportTree.h
  • /usr/include/4ti2/groebner/SupportTree.tpp
  • /usr/include/4ti2/groebner/SyzygyCompletion.h
  • /usr/include/4ti2/groebner/SyzygyGeneration.h
  • /usr/include/4ti2/groebner/TermOrder.h
  • /usr/include/4ti2/groebner/Timer.h
  • /usr/include/4ti2/groebner/Truncate.h
  • /usr/include/4ti2/groebner/VectorArrayAPI.h
  • /usr/include/4ti2/groebner/VectorArray.h
  • /usr/include/4ti2/groebner/VectorArrayStream.h
  • /usr/include/4ti2/groebner/Vector.h
  • /usr/include/4ti2/groebner/VectorStream.h
  • /usr/include/4ti2/groebner/WalkAlgorithm.h
  • /usr/include/4ti2/groebner/WalkOptions.h
  • /usr/include/4ti2/groebner/WeightAlgorithm.h
  • /usr/include/4ti2/groebner/WeightedBinomialSet.h
  • /usr/include/4ti2/groebner/WeightedReduction.h
  • /usr/include/4ti2/groebner/Weight.h
  • /usr/include/4ti2/util
  • /usr/include/4ti2/util/genmodel.h
  • /usr/include/4ti2/util/gensymm.h
  • /usr/include/4ti2/util/myheader.h
  • /usr/include/4ti2/util/orbit.h
  • /usr/include/4ti2/util/output.h
  • /usr/include/4ti2/util/print.h
  • /usr/include/4ti2/util/vector.h
  • /usr/include/4ti2/zsolve
  • /usr/include/4ti2/zsolve/Algorithm.hpp
  • /usr/include/4ti2/zsolve/BitSet.h
  • /usr/include/4ti2/zsolve/BoundAPI.hpp
  • /usr/include/4ti2/zsolve/Controller.hpp
  • /usr/include/4ti2/zsolve/DefaultController.hpp
  • /usr/include/4ti2/zsolve/Exception.h
  • /usr/include/4ti2/zsolve/GraverAPI.hpp
  • /usr/include/4ti2/zsolve/Heuristics.hpp
  • /usr/include/4ti2/zsolve/HilbertAPI.hpp
  • /usr/include/4ti2/zsolve/Integer.h
  • /usr/include/4ti2/zsolve/Lattice.hpp
  • /usr/include/4ti2/zsolve/LinearSystem.hpp
  • /usr/include/4ti2/zsolve/Norms.hpp
  • /usr/include/4ti2/zsolve/Options.h
  • /usr/include/4ti2/zsolve/RelAPI.h
  • /usr/include/4ti2/zsolve/Relation.hpp
  • /usr/include/4ti2/zsolve/SignAPI.h
  • /usr/include/4ti2/zsolve/Timer.h
  • /usr/include/4ti2/zsolve/Variables.hpp
  • /usr/include/4ti2/zsolve/VectorArrayAPI.hpp
  • /usr/include/4ti2/zsolve/VectorArray.hpp
  • /usr/include/4ti2/zsolve/Vector.hpp
  • /usr/include/4ti2/zsolve/ZSolveAPI.hpp
  • /usr/include/4ti2/zsolve/zsolve.h
  • /usr/lib64/lib4ti2common.so
  • /usr/lib64/lib4ti2gmp.so
  • /usr/lib64/lib4ti2int32.so
  • /usr/lib64/lib4ti2int64.so
  • /usr/lib64/lib4ti2util.so
  • /usr/lib64/libzsolve.so

Field source: openSUSE Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

VersionReleaseArchitectureRepositoryPackage sizeInstalled sizePublisher repository artifact
1.6.15-1.4tumbleweed / ossx86_64openSUSE Tumbleweed · OSS · multi-architecture77 KiB555 KiBx86_64/4ti2-devel-1.6.15-1.4.x86_64.rpm

Field source: openSUSE Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

Checksums and observation dates

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

Catalog record completeness

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description
25/25
Artifact path and source digest
25/25
Dependency metadata
15/15
Package-file index
15/15
Homepage
5/5
License text
5/5
Source package or maintainer
10/10

Recorded total: 100/100

Field source: openSUSE Tumbleweed OSS revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Sources and provenance

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

  • Authoritative source; repository metadata signature verified, revision tumbleweed-oss-multiarch:4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f

    Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.

    Repository-signature verification record
    Signed-object SHA-256
    4db10cdde3ad82c7e22be35753c9e164b4bdd30f92db4aee17a0d4c94c5f902f
    Signer fingerprint
    AD485664E901B867051AB15F35A2F86E29B700A4
    Keyring revision
    opensuse-project-signing-key.asc
    SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
    Tool and policy
    gpgv (GnuPG) 2.4.9
    openfactory-software-catalog-signature-v1
    Verification time
    Sep 1, 2026
    Signed Release → package-index hash linkage

    Path: Not recorded
    Expected SHA-256: Not recorded
    Observed SHA-256: Not recorded
    Result: match verified