全部搜索项
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  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