Package: cadical (1.7.4-1 and others) [debports]

[ Source:  ]

Simplified Satisfiability Solver

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 binaries needed to use CaDiCaL as a stand-alone tool.

Other Packages Related to cadical

• dep: libc6 (>= 2.38)

  GNU C könyvtár: megosztott könyvtárak
  also a virtual package provided by libc6-udeb

• dep: libgcc-s4 (>= 4.1.1)

  GCC támogató programkönyvtár

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

  GNU Standard C++ Library v3

Download cadical

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
hppa (unofficial port)	1.7.4-1+b1	387.5 kB	1,982.0 kB	[list of files]