Balík: libcadical-dev (1.5.3-2)

Odkazy pre libcadical-dev

Zdroje Debian:

Stiahnuť zdrojový balík cadical:

Správcovia:

Externé zdroje:

Domovská stránka [fmv.jku.at]

Podobné balíky:

Simplified Satisfiability Solver (development files)

CaDiCaL is a CDCL solver that is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.

This package contains development files for CaDiCaL. Install it if you want to develop applications that use CaDiCaL's API.

Značky: Software Development: Knižnice, Role: Vývojová knižnica

Stiahnuť libcadical-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	280.8 kB	1,522.0 kB	[zoznam súborov]
arm64	262.2 kB	1,556.0 kB	[zoznam súborov]
armel	270.7 kB	1,283.0 kB	[zoznam súborov]
armhf	275.6 kB	1,104.0 kB	[zoznam súborov]
i386	317.5 kB	1,353.0 kB	[zoznam súborov]
mips64el	305.6 kB	1,997.0 kB	[zoznam súborov]
mipsel	319.8 kB	1,488.0 kB	[zoznam súborov]
ppc64el	303.2 kB	1,834.0 kB	[zoznam súborov]
s390x	258.6 kB	1,585.0 kB	[zoznam súborov]