minisat
Paket-Details
| Name | minisat |
|---|---|
| Version | 2.2.1.20201216-3 |
| Beschreibung | A minimalistic and high-performance SAT solver |
| URL | http://minisat.se/ |
| Lizenzen | MIT |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 23.03.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | minisat-2.2.1.20201216-3-x86_64.pkg.tar.zst |
| PGP-Signatur | minisat-2.2.1.20201216-3-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 67.3 KiB |
| Installations-Größe | 227.1 KiB |
| Beliebtheit |