Package: libcadical-dev (2.1.3-2 and others)

[ Source: cadical  ]

Simplified Satisfiability Solver - udviklingsfiler

CaDiCaL er en CDCL-løser, der er nemt at forstå og ændre, samtidig med at den ikke er langsomere end andre moderne CDCL-løsere.

Denne pakke indeholder udviklingsfiler for CaDiCaL. Installer den hvis du ønsker at udvikle programmer, der bruger CaDiCaL's API.

Tags: Software Development: Libraries, Role: Development Library

Download libcadical-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	2.1.3-2	455.1 kB	3,227.0 kB	[list of files]
amd64	2.1.3-2	415.4 kB	2,301.0 kB	[list of files]
arm64	2.1.3-2	391.8 kB	2,283.0 kB	[list of files]
armhf	2.1.3-2	397.6 kB	1,589.0 kB	[list of files]
hppa (unofficial port)	1.7.4-1+b1	374.7 kB	1,688.0 kB	[list of files]
i386	2.1.3-2	458.6 kB	2,019.0 kB	[list of files]
ia64 (unofficial port)	1.7.4-1	445.1 kB	3,120.0 kB	[list of files]
loong64	2.1.3-2	1,941.3 kB	22,051.0 kB	[list of files]
m68k (unofficial port)	2.1.3-2	416.2 kB	2,039.0 kB	[list of files]
ppc64 (unofficial port)	2.1.3-2	436.0 kB	2,684.0 kB	[list of files]
ppc64el	2.1.3-2	445.5 kB	2,620.0 kB	[list of files]
riscv64	2.1.3-2	2,027.4 kB	23,647.0 kB	[list of files]
s390x	2.1.3-2	432.4 kB	2,456.0 kB	[list of files]
sh4 (unofficial port)	2.1.3-2	486.8 kB	1,729.0 kB	[list of files]
sparc64 (unofficial port)	2.1.3-2	377.7 kB	2,521.0 kB	[list of files]
x32 (unofficial port)	2.1.3-2	417.5 kB	1,912.0 kB	[list of files]