[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

[ 原始碼： minisat2 ]

套件：minisat2（1:2.2.1-5 以及其他的）

minisat2 的相關連結

Debian 的資源：

下載原始碼套件 minisat2：

維護者：

Michael Tautschnig (QA 頁面)

外部的資源：

主頁 [minisat.se]

相似套件：

Transitional package for minisat

This is a transitional package for minisat, and can be safely removed after the installation is complete.

標籤: 領域: 數學, 實做語言: C++, 角色: 程式

負責填實 minisat2 的套件

minisat: Fast and lightweight SAT solver

其他與 minisat2 有關的套件

依賴

推薦

建議

增強

dep: minisat

Fast and lightweight SAT solver

下載 minisat2

下載可用於所有硬體架構的
硬體架構	版本	套件大小	安裝後大小	檔案
arm64	1:2.2.1-5+b3	5。1 kB	13。0 kB	[檔案列表]