Package: cadical (1.7.4-1 and others)

[ Source: cadical  ]

Forenklet tilfredsstillelsesløser

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 binære filer krævet for at bruge CaDiCaL som et uafhængigt værktøj.

Other Packages Related to cadical

• dep: libc6 (>= 2.38)

  GNU C-bibliotek: Delte biblioteker
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.5)

  GCC støttebibliotek

• dep: libstdc++6 (>= 13.1)

  GNU Standard C++ bibliotek v3

Download cadical

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
armhf	1.7.4-1+b1	340.4 kB	1,229.0 kB	[list of files]