@hackage / liquid-fixpoint

Predicate Abstraction-based Horn-Clause/Implication Constraint Solver

Latest0.9.6.3.7

Dependencies

library:liquid-fixpoint (35 dependencies)

@hackage / pretty Pretty-printing library
- Version: >=1.1.3.1
- License: BSD-3-Clause
@hackage / binary Binary serialisation for Haskell values using lazy ByteStrings
- Version:
- License: BSD-3-Clause
@hackage / async Run IO operations asynchronously and wait for their results
- Version:
- License: BSD-3-Clause
@hackage / ascii-progress A simple progress bar for the console.
- Version: >=0.3
- License: MIT
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.2.1
- License: BSD-3-Clause
@hackage / store Fast binary serialization
- Version:
- License: MIT
@hackage / cereal A binary serialization library
- Version:
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version:
- License: BSD-3-Clause
@hackage / boxes 2D text pretty-printing library
- Version:
- License: BSD-3-Clause
@hackage / rest-rewrite Rewriting library with online termination checking
- Version: >=0.3.0
- License: BSD-3-Clause
@hackage / deepseq Deep evaluation of data structures
- Version:
- License: BSD-3-Clause
@hackage / intern Efficient hash-consing for arbitrary data types
- Version:
- License: BSD-3-Clause
@hackage / smtlib-backends-z3 An SMT-LIB backend implemented using Z3's C API.
- Version: >=0.3
- License: MIT
@hackage / base Core data structures and operations
- Version: >=4.9.1.0 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version:
- License: BSD-3-Clause
@hackage / gitrev Compile git revision info into Haskell projects
- Version: >=1.3.1
- License: BSD-3-Clause
@hackage / ansi-terminal Simple ANSI terminal support
- Version:
- License: BSD-3-Clause
@hackage / parser-combinators Lightweight package providing commonly useful parser combinators
- Version:
- License: BSD-3-Clause
@hackage / syb Scrap Your Boilerplate
- Version:
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version:
- License: BSD-3-Clause
@hackage / stm Software Transactional Memory
- Version:
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version:
- License: BSD-3-Clause
@hackage / megaparsec Monadic parser combinators
- Version: >=7.0.0 && <10
- License: BSD-2-Clause
@hackage / hashable A class for types that can be converted to a hash value
- Version:
- License: BSD-3-Clause
@hackage / attoparsec Fast combinator parsing for bytestrings and text
- Version:
- License: BSD-3-Clause
@hackage / smtlib-backends Low-level functions for SMT-LIB-based interaction with SMT solvers.
- Version: >=0.3
- License: MIT
@hackage / smtlib-backends-process An SMT-LIB backend running solvers as external processes.
- Version: >=0.3
- License: MIT
@hackage / fgl Martin Erwig's Functional Graph Library
- Version:
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version:
- License: BSD-2-Clause
@hackage / transformers Concrete functor and monad transformers
- Version:
- License: BSD-3-Clause
@hackage / aeson Fast JSON parsing and encoding
- Version:
- License: BSD-3-Clause
@hackage / vector Efficient Arrays
- Version: <0.14
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / unordered-containers Efficient hashing-based container types
- Version:
- License: BSD-3-Clause
@hackage / process Process libraries
- Version:
- License: BSD-3-Clause

executable:fixpoint (3 dependencies)

test:tasty (9 dependencies)

test:test (14 dependencies)