@hackage / hasmtlib

A monad for interfacing with external SMT solvers

Latest2.8.1

Dependencies

library:hasmtlib (21 dependencies)

@hackage / data-default A class for types with a default value
- Version: >=0.7.1 && <1
- License: BSD-3-Clause
@hackage / lens Lenses, Folds and Traversals
- Version: >=5 && <6
- License: BSD-2-Clause
@hackage / some Existential type: Some
- Version: >=1.0.6 && <1.1
- License: BSD-3-Clause
@hackage / vector-sized Size tagged vectors
- Version: >=1 && <2
- License: BSD-3-Clause
@hackage / monad-control Lift control operations, like exception catching, through monad transformers
- Version: >=1.0 && <1.2
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.17.2 && <5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5 && <1
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.2 && <3
- License: BSD-3-Clause
@hackage / attoparsec Fast combinator parsing for bytestrings and text
- Version: >=0.14.4 && <1
- License: BSD-3-Clause
@hackage / lifted-base lifted IO operations from the base library
- Version: >=0.2 && <0.5
- License: BSD-3-Clause
@hackage / smtlib-backends Low-level functions for SMT-LIB-based interaction with SMT solvers.
- Version: >=0.4 && <0.5
- License: MIT
@hackage / smtlib-backends-process An SMT-LIB backend running solvers as external processes.
- Version: >=0.3 && <0.4
- License: MIT
@hackage / text An efficient packed Unicode text type.
- Version: >=2.0.2 && <3
- License: BSD-2-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.7 && <1
- License: BSD-3-Clause
@hackage / utf8-string Support for reading and writing UTF8 Strings
- Version: >=1.0.2 && <2
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version: >=0.2.20 && <0.3
- License: BSD-3-Clause
@hackage / bitvec Space-efficient bit vectors
- Version: >=1.1.5 && <2
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.11.5 && <1
- License: BSD-3-Clause
@hackage / finite-typelits A type inhabited by finitely many values, indexed by type-level naturals
- Version: >=0.1.0 && <1
- License: BSD-3-Clause
@hackage / dependent-map Dependent finite maps (partial dependent products)
- Version: >=0.4 && <1
- License: BSD-3-Clause
@hackage / constrained-some Existential type that can be constrained
- Version: >=0.1 && <0.2
- License: MIT