Пакет: libcadical-dev (1.7.4-1 и другие)

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.

This page is also available in the following languages: