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

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

sat4j 的相關連結

Debian 的資源:

維護者:

外部的資源:

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

其他與 sat4j 有關的套件

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

Download sat4j

檔案大小(單位:kB)MD5 校驗碼
sat4j_2.3.5-0.2.dsc 1。8 kB 0b1dd31472ecbde93eb61025ce9d5faa
sat4j_2.3.5.orig.tar.gz 13,426。7 kB 526e70e3810aa515f2235da1d01fd71c
sat4j_2.3.5-0.2.debian.tar.xz 16。4 kB cb5e980fc68aa4e8626345c43f84fdca