Пакунок: haskell-what4-utils (1.3-4) [debports]

[ Source:  ]

Solver-agnostic symbolic values support for issuing queries

What4 is a generic library for representing values as symbolic formulae which may contain references to symbolic values, representing unknown variables. It provides support for communicating with a variety of SAT and SMT solvers, including Z3, CVC4, Yices, Boolector, STP, and dReal. The data representation types make heavy use of GADT-style type indices to ensure type-correct manipulation of symbolic values.

Інші пакунки пов'язані з haskell-what4-utils

• dep: libatomic1 (>= 4.8)

  Підтримка бібліотеки, яка забезпечує вбудовані функції __atomic

• dep: libc6 (>= 2.34)

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

• dep: libffi8 (>= 3.4)

  Бібліотека інтерфейсу до сторонніх функцій — виконавчі файли

• dep: libgmp10 (>= 2:6.2.1+dfsg1)

  Арифметична бібліотека багатоточності

• dep: zlib1g (>= 1:1.1.4)

  Бібліотека стискання даних (виконавчий модуль)

Завантажити haskell-what4-utils

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
m68k (unofficial port)	3,581.8 kB	34,936.0 kB	[список файлів]