» Ubuntu » Пакеты » questing (25.10) » science » kissat
[  questing  ] [  resolute  ] [  stonking  ]
[ Источник: kissat  ]

Пакет: kissat (4.0.2-1) [universe]

Ссылки для kissat

Screenshot

Ресурсы Ubuntu:

Исходный код kissat:

Сопровождающий:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Science Maintainers
  • Shengqi Chen

It should generally not be necessary for users to contact the original maintainer.

Внешние ресурсы:

Подобные пакеты:

Keep it simple and clean bare metal SAT solver

Другие пакеты, относящиеся к kissat

  • зависимости
  • рекомендации
  • предложения
  • enhances
  • dep: libc6 (>= 2.34)
    GNU C Library: Shared libraries
  • sug: bzip2
    high-quality block-sorting file compressor - utilities
  • sug: gzip (>= 1)
    GNU compression utilities
  • sug: p7zip
    transitional package
    также виртуальный пакет, предоставляемый 7zip
  • sug: xz-utils
    XZ-format compression utilities

Загрузка kissat

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
arm64 356,4 Кб916,0 Кб [список файлов]
armhf 369,2 Кб787,0 Кб [список файлов]
riscv64 389,8 Кб851,0 Кб [список файлов]
s390x 381,0 Кб944,0 Кб [список файлов]