@hackage crackNum dependencies

7 results

executable:crackNum (7 dependencies)

@haskell/process

Process libraries

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

@haskell/directory

Platform-agnostic library for filesystem operations

@haskell/base

Core data structures and operations

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

@hackage/tasty

Modern and extensible testing framework

@hackage/sbv

SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.

BSD-3-Clause>=10.5

@hackage/libBF

A binding to the libBF library.