» Ubuntu » Packages » stonking » libdevel » libcadical-dev
noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Source: cadical  ]

Package: libcadical-dev (2.1.3-3) [universe]

Links for libcadical-dev

Screenshot

Ubuntu Resources:

Download Source Package cadical:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

Simplified Satisfiability Solver (development files)

Download libcadical-dev

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 466.6 kB2,302.0 kB [list of files]
arm64 473.1 kB2,299.0 kB [list of files]
armhf 451.6 kB1,560.0 kB [list of files]
ppc64el 523.1 kB2,585.0 kB [list of files]
riscv64 2,578.8 kB23,931.0 kB [list of files]
s390x 518.1 kB2,422.0 kB [list of files]