@hackage rme-what4 dependencies

7 results

library:rme-what4 (7 dependencies)

@haskell/vector

Efficient Arrays

BSD-3-Clause^>=0.13

@haskell/containers

Assorted concrete container types

BSD-3-Clause^>=0.5 || ^>=0.6 || ^>=0.7 || ^>=0.8

@haskell/base

Core data structures and operations

BSD-3-Clause^>=4.17 || ^>=4.18 || ^>=4.19 || ^>=4.20 || ^>=4.21

@hackage/what4

Solver-agnostic symbolic values support for issuing queries

BSD-3-Clause^>=1.7

@hackage/rme

Reed-Muller Expansion normal form for Boolean Formulas

BSD-3-Clause^>=0.1

@hackage/parameterized-utils

Classes and data structures for working with data-kind indexed types

BSD-3-Clause^>=2.0 || ^>=2.1

@hackage/bv-sized

a bitvector datatype that is parameterized by the vector width

BSD-3-Clause^>=1.0