| Package | cadical-devel |
|---|---|
| Version | 2.1.3-r0 |
| Description | SAT solver (development files) |
| Project | https://fmv.jku.at/cadical |
| License | MIT |
| Repository | user |
| Architecture | ppc64 |
| Size | 15542 |
| Installed size | 53248 |
| Origin | cadical |
| Required by |
Required by (1) |
| Subpackages |
Subpackages (5) |
| Build time | 2025-08-10 17:24:28 |
| Commit | f394e0e3122939ff7d1896e2141735993b547bc5 |
| Git repository | Git repository |
| Build log | Build log |
| Contents | Contents of package |
