[ Pakiet źródłowy: cadical ]
Pakiet: libcadical-dev (1.5.3-2)
Odnośniki dla libcadical-dev
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego cadical:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [fmv.jku.at]
Podobne pakiety:
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.
Pobieranie libcadical-dev
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| armel | 270,7 KiB | 1 283,0 KiB | [lista plików] |