| Package | cadical-doc |
|---|---|
| Version | 2.1.3-r0 |
| Description | SAT solver (documentation) |
| Project | https://fmv.jku.at/cadical |
| License | MIT |
| Repository | user |
| Architecture | ppc64 |
| Size | 1675 |
| Installed size | 4096 |
| Origin | cadical |
| Install if |
Install if (2)
|
| 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 |
