Publishing details

Published on 2024-03-25

Changelog

cryptominisat (5.11.15+dfsg1-ok1) nile; urgency=medium

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 25 Mar 2024 22:59:22 +0800

Builds

Built packages

cryptominisat SAT solver command line interface

libcryptominisat5-5.11t64 SAT solver library

libcryptominisat5-dev development files for the CryptoMiniSat SAT solver

python3-cryptominisat Python bindings for the CryptoMiniSat SAT solver (Python 3)

Package files

cryptominisat_5.11.15+dfsg1-ok1.debian.tar.xz (4.7 KiB)
cryptominisat_5.11.15+dfsg1-ok1.dsc (2.2 KiB)
cryptominisat_5.11.15+dfsg1-ok1_amd64.deb (71.7 KiB)
cryptominisat_5.11.15+dfsg1-ok1_arm64.deb (64.6 KiB)
cryptominisat_5.11.15+dfsg1-ok1_loong64.deb (73.9 KiB)
cryptominisat_5.11.15+dfsg1-ok1_riscv64.deb (75.7 KiB)
cryptominisat_5.11.15+dfsg1.orig.tar.xz (463.7 KiB)
libcryptominisat5-5.11t64_5.11.15+dfsg1-ok1_amd64.deb (408.0 KiB)
libcryptominisat5-5.11t64_5.11.15+dfsg1-ok1_arm64.deb (364.3 KiB)
libcryptominisat5-5.11t64_5.11.15+dfsg1-ok1_loong64.deb (479.7 KiB)
libcryptominisat5-5.11t64_5.11.15+dfsg1-ok1_riscv64.deb (491.3 KiB)
libcryptominisat5-dev_5.11.15+dfsg1-ok1_amd64.deb (17.1 KiB)
libcryptominisat5-dev_5.11.15+dfsg1-ok1_arm64.deb (17.1 KiB)
libcryptominisat5-dev_5.11.15+dfsg1-ok1_loong64.deb (17.3 KiB)
libcryptominisat5-dev_5.11.15+dfsg1-ok1_riscv64.deb (17.1 KiB)
python3-cryptominisat_5.11.15+dfsg1-ok1_amd64.deb (476.4 KiB)
python3-cryptominisat_5.11.15+dfsg1-ok1_arm64.deb (437.3 KiB)
python3-cryptominisat_5.11.15+dfsg1-ok1_loong64.deb (503.5 KiB)
python3-cryptominisat_5.11.15+dfsg1-ok1_riscv64.deb (512.8 KiB)