Package: libcadical-dev (1.7.4-1) [debports]

[ Source:  ]

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.

Download libcadical-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
sparc64 (unofficial port)	317.9 kB	2,158.0 kB	[list of files]