全部搜尋項
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]

原始碼套件:sat4j(2.3.5-0.3)

sat4j 的相關連結

Debian 的資源:

維護者:

外部的資源:

本原始碼套件構建了以下這些二進位制包:
sat4j
Efficient library of SAT solvers in Java

其他與 sat4j 有關的套件

  • 構建架構特定包依賴
  • 構建架構獨立包依賴

Download sat4j

檔案大小(單位:kB)MD5 校驗碼
sat4j_2.3.5-0.3.dsc 2。0 kB 3133323b2fad24c55637185c5cd26dcd
sat4j_2.3.5.orig.tar.gz 13,426。7 kB 526e70e3810aa515f2235da1d01fd71c
sat4j_2.3.5-0.3.debian.tar.xz 16。7 kB 8020f66d1a2eb30f070491f66f649603