minisat 2.2.1.20201216-2
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | minisat |
| 説明: | A minimalistic and high-performance SAT solver |
| 上流 URL: | http://minisat.se/ |
| ライセンス: | MIT |
| パッケージ容量: | 67.9 KB |
| インストール容量: | 228.5 KB |
| パッケージ作成者: | T.J. Townsend |
| 最終更新: | 2024-07-13 08:14:30 JST |