@hackage / z3-encoding

High-level assertion encoding to Z3 solver

Latest0.3.0.0

Dependencies

library:z3-encoding (4 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.9 && <4.10
- License: BSD-3-Clause
@hackage / z3 Bindings for the Z3 Theorem Prover
- Version: >=4.1.0
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2 && <2.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.6
- License: BSD-3-Clause

test:z3-encoding-test (5 dependencies)