всички настройки
sid  ]
[ Източник: bitwuzla  ]

Пакет: python3-bitwuzla (0.8.2-1)

Връзки за python3-bitwuzla

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник bitwuzla.

Отговорници:

Външни препратки:

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

SMT solver for bit vectors and arrays (Python bindings)

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays, uninterpreted functions and their combinations.

This package contains Python bindings to Bitwuzla.

Други пакети, свързани с python3-bitwuzla

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на python3-bitwuzla

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
amd64 138,5 кБ532,0 кБ [списък на файловете]
arm64 116,6 кБ540,0 кБ [списък на файловете]
hppa (неофициална архитектура) 130,4 кБ670,0 кБ [списък на файловете]
i386 138,0 кБ537,0 кБ [списък на файловете]
loong64 126,7 кБ540,0 кБ [списък на файловете]
m68k (неофициална архитектура) 126,9 кБ508,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 106,5 кБ1 062,0 кБ [списък на файловете]
x32 (неофициална архитектура) 141,7 кБ493,0 кБ [списък на файловете]