Paket: libcadical-dev (2.1.3-2 ve diğerleri)

[ Kaynak: cadical  ]

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.

Etiketler: Yazılım Geliştirme: Kitaplıklar, Rol: Geliştirme Kitaplığı

libcadical-dev indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	2.1.3-2	455,1 kB	3.227,0 kB	[dosya listesi]
amd64	2.1.3-2	415,4 kB	2.301,0 kB	[dosya listesi]
arm64	2.1.3-2	391,8 kB	2.283,0 kB	[dosya listesi]
armhf	2.1.3-2	397,6 kB	1.589,0 kB	[dosya listesi]
hppa (resmi olmayan port)	1.7.4-1+b1	374,7 kB	1.688,0 kB	[dosya listesi]
i386	2.1.3-2	458,6 kB	2.019,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	1.7.4-1	445,1 kB	3.120,0 kB	[dosya listesi]
loong64	2.1.3-2	1.941,3 kB	22.051,0 kB	[dosya listesi]
m68k (resmi olmayan port)	2.1.3-2	416,2 kB	2.039,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	2.1.3-2	436,0 kB	2.684,0 kB	[dosya listesi]
ppc64el	2.1.3-2	445,5 kB	2.620,0 kB	[dosya listesi]
riscv64	2.1.3-2	2.027,4 kB	23.647,0 kB	[dosya listesi]
s390x	2.1.3-2	432,4 kB	2.456,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	2.1.3-2	486,8 kB	1.729,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	2.1.3-2	377,7 kB	2.521,0 kB	[dosya listesi]
x32 (resmi olmayan port)	2.1.3-2	417,5 kB	1.912,0 kB	[dosya listesi]