» Ubuntu » Paket » stonking » libdevel » libcadical-dev
noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Källkod: cadical  ]

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

Länkar för libcadical-dev

Screenshot

Ubunturesurser:

Hämta källkodspaketet cadical:

Ansvarig:

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

Original Maintainers (usually from Debian):

  • Debian Science Maintainers (E-postarkiv)
  • Scott Talbert

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

Externa resurser:

Liknande paket:

Simplified Satisfiability Solver (development files)

Hämta libcadical-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
amd64 466,6 kbyte2.302,0 kbyte [filförteckning]
arm64 473,1 kbyte2.299,0 kbyte [filförteckning]
armhf 451,6 kbyte1.560,0 kbyte [filförteckning]
ppc64el 523,1 kbyte2.585,0 kbyte [filförteckning]
riscv64 2.578,8 kbyte23.931,0 kbyte [filförteckning]
s390x 518,1 kbyte2.422,0 kbyte [filförteckning]