all options
bookworm  ] [  trixie  ] [  sid  ]
[ Source: cadical  ]

Package: libcadical-dev (1.5.3-2)

Links for libcadical-dev

Screenshot

Debian Resources:

Download Source Package cadical:

Maintainers:

External Resources:

Similar packages:

risolutore semplificato di soddisfacibilità (file di sviluppo)

CaDiCaL è un risolutore CDCL che è facile da capire e cambiare, e allo stesso tempo non è molto più lento di altri risolutori CDCL all'avanguardia.

Questo pacchetto contiene i file di sviluppo per CaDiCaL. Installarlo se si desiderano sviluppare applicazioni che usano l'API di CaDiCaL.

Tags: Software Development: Libraries, Role: Development Library

Download libcadical-dev

Download for all available architectures
Architecture Package Size Installed Size Files
armel 270.7 kB1,283.0 kB [list of files]