eLxr packages [ bianca ]
[ Pakiet źródłowy: cadical ]
Pakiet: libcadical-dev (1.7.4-1 i inne)
Odnośniki dla libcadical-dev
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 | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| amd64 | 1.7.4-1+b1 | 343,9 KiB | 1 836,0 KiB | [lista plików] |