| Package | cadical-dbg |
|---|---|
| Version | 2.1.3-r0 |
| Description | SAT solver (debug files) |
| Project | https://fmv.jku.at/cadical |
| License | MIT |
| Repository | user/debug |
| Architecture | ppc64 |
| Size | 4837363 |
| Installed size | 13557760 |
| Origin | cadical |
| Depends |
Depends (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 |
