@hackage z3-encoding dependencies

9 results

library:z3-encoding (4 dependencies)

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=2.2 && <2.3

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5 && <0.6

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <4.10

@hackage/z3

Bindings for the Z3 Theorem Prover

BSD-3-Clause>=4.1.0

test:z3-encoding-test (5 dependencies)

@haskell/containers

Assorted concrete container types

BSD-3-Clause>=0.5 && <0.6

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <4.10

@hackage/z3-encoding

High-level assertion encoding to Z3 solver

@hackage/z3

Bindings for the Z3 Theorem Prover

BSD-3-Clause>=4.1.0

@hackage/hspec

A Testing Framework for Haskell