@hackage afv dependencies

7 results

executable:afv (7 dependencies)

@haskell/process

Process libraries

BSD-3-Clause>=1.0 && <1.1

@haskell/mtl

Monad classes for transformers, using functional dependencies

BSD-3-Clause>=1.1 && <1.2

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.0 && <1.1

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

BSD-3-Clause>=0.9 && <1.0

@haskell/base

Core data structures and operations

BSD-3-Clause>=4 && <5

@hackage/yices

Haskell programming interface to Yices SMT solver

BSD-3-Clause>=0.0.0.6

@hackage/language-c

Analysis and generation of C code

BSD-3-Clause>=0.3.1.1