Linux workstation

Upstream software project

saclib

Development files for saclib

About saclib

Development files for saclib

This project links 12 native package records across 4 recorded operating-system releases. Compare the retained versions and architectures below, then open the package for your own release.

These are catalog observations, not a guarantee of installation, compatibility, or upstream support.

Visit project website

Project pictures and package coverage

Debian 12 (Bookworm): 3 package records; Debian 13 (Trixie): 3 package records; Fedora 43: 3 package records; Fedora 44: 3 package records. Catalog coverage diagram, not an application screenshot.saclib: recorded package coverageDebian 12 (Bookworm)3 recordsDebian 13 (Trixie)3 recordsFedora 433 recordsFedora 443 records
OpenFactory diagram of linked package records. It is not an application screenshot.

Project identity

Project
saclib
Publisher
Not authoritatively mapped
Native package records
12
Operating systems
debian-12, debian-13, fedora-43, fedora-44
License expression
ISC AND OFL-1.1-RFN AND Knuth-CTAN AND GPL-1.0-or-later
Metadata completeness
100/100 (not a software quality rating)
Homepage
Visit upstream site
Source repository
Not reported

Source-reported description

The fullest retained description is shown with its source. Distribution packaging descriptions may include downstream details.

QEPCAD is an implementation of quantifier elimination by partial cylindrical algebraic decomposition due originally to Hoon Hong, and subsequently added on to by many others. It is an interactive command-line program written in C/C++, and based on the SACLIB library. This is QEPCAD B version 1.x, the "B" designating a substantial departure from the original QEPCAD and distinguishing it from any development of the original that may proceed in a different direction.

Description source

Packages by operating system

Compare recorded versions, then open a package for dependency, file, checksum, and repository evidence. Version strings are distribution-specific, not a ranking of newer software.

Debian 12 (Bookworm)

  1. libsaclib0

    Debian 12 (Bookworm) / libs / source saclib

    2.2.8-6

    library of C programs for computer algebra (shared library)

    amd64arm64bookworm
  2. libsaclib-dev

    Debian 12 (Bookworm) / libdevel / source saclib

    2.2.8-6

    library of C programs for computer algebra (development)

    amd64arm64bookworm
  3. qepcad

    Debian 12 (Bookworm) / math / source qepcad

    1.74+ds-3+b2

    quantifier elimination tool

    amd64arm64bookworm

Debian 13 (Trixie)

  1. libsaclib0t64

    Debian 13 (Trixie) / libs / source saclib

    2.2.8-6.1+b2

    library of C programs for computer algebra (shared library)

    amd64arm64trixie
  2. libsaclib-dev

    Debian 13 (Trixie) / libdevel / source saclib

    2.2.8-6.1+b2

    library of C programs for computer algebra (development)

    amd64arm64trixie
  3. qepcad

    Debian 13 (Trixie) / math

    1.74+ds-5

    quantifier elimination tool

    amd64arm64trixie

Fedora 43

  1. qepcad-B

    Fedora 43 / Unspecified / source qepcad-B

    1.74-11.fc43

    Quantifier elimination tool

    aarch64x86_6443
  2. saclib

    Fedora 43 / Unspecified / source saclib

    2.2.8-10.fc43

    Computer algebra library

    aarch64x86_6443
  3. saclib-devel

    Fedora 43 / Unspecified / source saclib

    2.2.8-10.fc43

    Development files for saclib

    aarch64x86_6443

Fedora 44

  1. qepcad-B

    Fedora 44 / Unspecified / source qepcad-B

    1.74-12.fc44

    Quantifier elimination tool

    aarch64x86_6444
  2. saclib

    Fedora 44 / Unspecified / source saclib

    2.2.8-11.fc44

    Computer algebra library

    aarch64x86_6444
  3. saclib-devel

    Fedora 44 / Unspecified / source saclib

    2.2.8-11.fc44

    Development files for saclib

    aarch64x86_6444

Project resources and further reading

Mapping provenance

Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.

No field-level source record is published yet.