@hackage / copilot-sbv

A compiler for CoPilot targeting SBV.

Latest2.2.1

Dependencies

library:copilot-sbv (7 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.0 && <5
- License: BSD-3-Clause
@hackage / copilot-core An intermediate representation for Copilot.
- Version: ==2.2.1
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.1
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4
- License: BSD-3-Clause
@hackage / sbv SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
- Version: >=5.0
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.2.1
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1
- License: BSD-3-Clause