name: liquid-fixpoint
version: 0.8.0.2
id: liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep
key: liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep
license: BSD-3-Clause
copyright: 2010-17 Ranjit Jhala, University of California, San Diego.
maintainer: jhala@cs.ucsd.edu
author: Ranjit Jhala, Niki Vazou, Eric Seidel
homepage: https://github.com/ucsd-progsys/liquid-fixpoint
synopsis: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
description:
    This package implements an SMTLIB based Horn-Clause\/Logical Implication constraint
    solver used for Liquid Types.
    .
    The package includes:
    .
    1. Types for Expressions, Predicates, Constraints, Solutions
    2. Code for solving constraints
    .
    Requirements
    .
    In addition to the .cabal dependencies you require
    .
    * A Z3 (<http://z3.codeplex.com>) or CVC4 (<http://cvc4.cs.nyu.edu>) binary.
category: Language
abi: inplace
exposed: True
exposed-modules:
    Language.Fixpoint.Defunctionalize Language.Fixpoint.Graph
    Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed
    Language.Fixpoint.Graph.Partition Language.Fixpoint.Graph.Reducible
    Language.Fixpoint.Graph.Types Language.Fixpoint.Horn.Parse
    Language.Fixpoint.Horn.Solve Language.Fixpoint.Horn.Transformations
    Language.Fixpoint.Horn.Types Language.Fixpoint.Minimize
    Language.Fixpoint.Misc Language.Fixpoint.Parse
    Language.Fixpoint.Smt.Bitvector Language.Fixpoint.Smt.Interface
    Language.Fixpoint.Smt.Serialize Language.Fixpoint.Smt.Theories
    Language.Fixpoint.Smt.Types Language.Fixpoint.Solver
    Language.Fixpoint.Solver.Eliminate
    Language.Fixpoint.Solver.GradualSolution
    Language.Fixpoint.Solver.Instantiate Language.Fixpoint.Solver.Monad
    Language.Fixpoint.Solver.Sanitize Language.Fixpoint.Solver.Solution
    Language.Fixpoint.Solver.Solve Language.Fixpoint.Solver.TrivialSort
    Language.Fixpoint.Solver.UniqifyBinds
    Language.Fixpoint.Solver.UniqifyKVars
    Language.Fixpoint.Solver.Worklist Language.Fixpoint.SortCheck
    Language.Fixpoint.Types Language.Fixpoint.Types.Config
    Language.Fixpoint.Types.Constraints
    Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors
    Language.Fixpoint.Types.Graduals Language.Fixpoint.Types.Names
    Language.Fixpoint.Types.PrettyPrint
    Language.Fixpoint.Types.Refinements
    Language.Fixpoint.Types.Solutions Language.Fixpoint.Types.Sorts
    Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions
    Language.Fixpoint.Types.Templates Language.Fixpoint.Types.Theories
    Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils
    Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files
    Language.Fixpoint.Utils.Progress Language.Fixpoint.Utils.Statistics
    Language.Fixpoint.Utils.Trie Text.PrettyPrint.HughesPJ.Compat
hidden-modules: Paths_liquid_fixpoint
import-dirs: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build
library-dirs: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build
dynamic-library-dirs: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build
data-dir: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint
hs-libraries: HSliquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep
depends:
    ansi-terminal-0.8.2-3u77sgUYOmx5VpFzqliI58 array-0.5.3.0
    ascii-progress-0.3.3.0-89B0q4Fa9f07yD5oF5x2bt
    async-2.2.1-4fWSSJ8SFccIxQJVItkRnX
    attoparsec-0.13.2.2-Gf0jC2VdURHABoErxGt3qQ base-4.12.0.0
    binary-0.8.6.0 boxes-0.1.5-6io6BrPg87q1hhW2bdiQAI
    cereal-0.5.8.0-6rtfJLvNbgP66iuaPkuxJC
    cmdargs-0.10.20-EiFbtpfcdyUCuIuL5dHJuW containers-0.6.0.1
    deepseq-1.4.4.0 directory-1.3.3.0
    fgl-5.7.0.1-CpDtOA8pKQl6hGnWjlttIk filepath-1.4.2.1 ghc-prim-0.5.3
    hashable-1.2.7.0-CWI8VZuQTAYWIQTQQtqCV
    intern-0.9.2-1k5HlC2OR4dJna2fS2KnK5 mtl-2.2.2
    parallel-3.2.2.0-EGl5SOk48TWHAD161C93aQ parsec-3.1.13.0
    pretty-1.1.3.6 process-1.6.5.0 syb-0.7-KRW1LCxdMiCJrmhxCvzo37
    text-1.2.3.1 text-format-0.3.2-744dVgaHKrAx4heuHeP2Z
    transformers-0.5.6.2
    unordered-containers-0.2.9.0-BRWkoSTuML1cQdpep6Oin
haddock-interfaces: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/doc/html/liquid-fixpoint/liquid-fixpoint.haddock
haddock-html: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/doc/html/liquid-fixpoint