cadical
3.0.1Clean and efficient state-of-the-art SAT solver
Install
brew install cadicalDetails
Sources
Supported platforms
| Architecture | Platforms | Version | Download |
|---|---|---|---|
| Apple Silicon | Golden Gate | 3.0.1 | FileSHA-256b601dd2d9a2ad7f7ac6586492eae8c37c43f7048b9bae4c545f737b9dc3c7c14 |
| Apple Silicon | Tahoe | 3.0.1 | FileSHA-25677962818debd60f5d12591b3dc589f5ceec70f7fc3fca65b69cc145ba06aa76e |
| Apple Silicon | Sequoia | 3.0.1 | FileSHA-256ecf44191d1ed10a61bb47ce009d91e520abc637fbcf3608004cc7cf463fe2271 |
| Apple Silicon | Sonoma | 3.0.1 | FileSHA-2565632faabd6d7090f603752a52eea7ace1cc7f101694eef8f7a4eb8de66803d35 |
| Intel | Sonoma | 3.0.1 | FileSHA-256dd05c41f479807a91b72b33fc3f120d40d25e416e8f5adbbd988ee462865a85e |
| ARM64 | Linux | 3.0.1 | FileSHA-256d3c1c53581a8f3f802a062318f9a4b23e503fa0bf9846040d69dac729ca421c5 |
| x86_64 | Linux | 3.0.1 | FileSHA-256cef0be1bad5d61be121bd000090bf1639d2ac89279892278312b647742c38625 |