name: liquid-fixpoint
version: 0.6.0.1
id: liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi
key: liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi
license: BSD3
copyright: 2010-17 Ranjit Jhala, University of California, San Diego.
maintainer: jhala@cs.ucsd.edu
homepage: https://github.com/ucsd-progsys/liquid-fixpoint
synopsis: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
description:
    This package is a Haskell wrapper to the 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
author: Ranjit Jhala, Niki Vazou, Eric Seidel
exposed: True
exposed-modules:
    Language.Fixpoint.Types.Names Language.Fixpoint.Types.Errors
    Language.Fixpoint.Types.Config Language.Fixpoint.Types.Visitor
    Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Spans
    Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Refinements
    Language.Fixpoint.Types.Substitutions
    Language.Fixpoint.Types.Environments
    Language.Fixpoint.Types.Constraints
    Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Solutions
    Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Graduals
    Language.Fixpoint.Types Language.Fixpoint.Graph.Types
    Language.Fixpoint.Graph.Reducible Language.Fixpoint.Graph.Indexed
    Language.Fixpoint.Graph.Partition Language.Fixpoint.Graph.Deps
    Language.Fixpoint.Graph Language.Fixpoint.Defunctionalize
    Language.Fixpoint.Smt.Types Language.Fixpoint.Smt.Bitvector
    Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Serialize
    Language.Fixpoint.Smt.Interface Language.Fixpoint.Minimize
    Language.Fixpoint.Solver Language.Fixpoint.Parse
    Language.Fixpoint.SortCheck Language.Fixpoint.Misc
    Language.Fixpoint.Utils.Progress Language.Fixpoint.Utils.Files
    Language.Fixpoint.Solver.GradualSolution
    Language.Fixpoint.Solver.Solution Language.Fixpoint.Solver.Worklist
    Language.Fixpoint.Solver.Monad Language.Fixpoint.Solver.TrivialSort
    Language.Fixpoint.Solver.UniqifyKVars
    Language.Fixpoint.Solver.UniqifyBinds
    Language.Fixpoint.Solver.Eliminate
    Language.Fixpoint.Solver.Instantiate
    Language.Fixpoint.Solver.Sanitize
    Language.Fixpoint.Utils.Statistics Language.Fixpoint.Solver.Solve
abi: 
trusted: False
import-dirs: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build
library-dirs: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build
dynamic-library-dirs: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build
data-dir: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint
hs-libraries: HSliquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi
depends:
    ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1
    ascii-progress-0.3.3.0-AaLvoyEtYmuH04MiSlDfRY
    async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK
    attoparsec-0.13.1.0-KwckfZOQnr04d9ofoJ9Hh4 base-4.9.1.0
    bifunctors-5.4.1-LZeQTL0Uaws6v2aJY5STuc binary-0.8.3.0
    boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1
    cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e
    cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1
    deepseq-1.4.2.0 directory-1.3.0.0
    dotgen-0.4.2-BZVF2GHTiQa3V3DtnOX8Xh
    fgl-5.5.3.1-BBO2AKBsFGnFCFJiVxJiz
    fgl-visualize-0.1.0.1-GczPFReGtq8B1TZwh6G6nq
    filemanip-0.3.6.3-39GGNCiHahb1wSL6fkG6wy filepath-1.4.1.1
    ghc-prim-0.5.0.0 hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x
    intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx
    liquiddialog-0.1.0.0-CyBlNoz0Pr8MkSYl0qd8H
    located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3
    mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6
    parallel-3.2.1.1-KQJHWCcq2Ka569Stb10nhx
    parallel-io-0.3.3-GsWimZpahdBADo23efeHtf
    parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3 process-1.4.3.0
    syb-0.6-IcoSwlPi2Nx4zSqMmorFPS text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR
    text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG time-1.6.0.1
    transformers-0.5.2.0
    unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o
haddock-interfaces: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/doc/html/liquid-fixpoint/liquid-fixpoint.haddock
haddock-html: /Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-1.24.2.0/doc/html/liquid-fixpoint