ghcpkgliquid-fixpoint-0.8.0.2liquid-fixpoint.liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep.liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9epinplace*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.0binary-0.8.6.0"boxes-0.1.5-6io6BrPg87q1hhW2bdiQAI%cereal-0.5.8.0-6rtfJLvNbgP66iuaPkuxJC&cmdargs-0.10.20-EiFbtpfcdyUCuIuL5dHJuWcontainers-0.6.0.1deepseq-1.4.4.0directory-1.3.3.0"fgl-5.7.0.1-CpDtOA8pKQl6hGnWjlttIkfilepath-1.4.2.1ghc-prim-0.5.3&hashable-1.2.7.0-CWI8VZuQTAYWIQTQQtqCV#intern-0.9.2-1k5HlC2OR4dJna2fS2KnK5 mtl-2.2.2'parallel-3.2.2.0-EGl5SOk48TWHAD161C93aQparsec-3.1.13.0pretty-1.1.3.6process-1.6.5.0syb-0.7-KRW1LCxdMiCJrmhxCvzo37 text-1.2.3.1'text-format-0.3.2-744dVgaHKrAx4heuHeP2Ztransformers-0.5.6.22unordered-containers-0.2.9.0-BRWkoSTuML1cQdpep6Oine/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build0HSliquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9epe/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/builde/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/doc/html/liquid-fixpoint/liquid-fixpoint.haddockx/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/doc/html/liquid-fixpoint7!Language.Fixpoint.DefunctionalizeLanguage.Fixpoint.GraphLanguage.Fixpoint.Graph.DepsLanguage.Fixpoint.Graph.Indexed!Language.Fixpoint.Graph.Partition!Language.Fixpoint.Graph.ReducibleLanguage.Fixpoint.Graph.TypesLanguage.Fixpoint.Horn.ParseLanguage.Fixpoint.Horn.Solve&Language.Fixpoint.Horn.TransformationsLanguage.Fixpoint.Horn.TypesLanguage.Fixpoint.MinimizeLanguage.Fixpoint.MiscLanguage.Fixpoint.ParseLanguage.Fixpoint.Smt.BitvectorLanguage.Fixpoint.Smt.InterfaceLanguage.Fixpoint.Smt.SerializeLanguage.Fixpoint.Smt.TheoriesLanguage.Fixpoint.Smt.TypesLanguage.Fixpoint.Solver"Language.Fixpoint.Solver.Eliminate(Language.Fixpoint.Solver.GradualSolution$Language.Fixpoint.Solver.InstantiateLanguage.Fixpoint.Solver.Monad!Language.Fixpoint.Solver.Sanitize!Language.Fixpoint.Solver.SolutionLanguage.Fixpoint.Solver.Solve$Language.Fixpoint.Solver.TrivialSort%Language.Fixpoint.Solver.UniqifyBinds%Language.Fixpoint.Solver.UniqifyKVars!Language.Fixpoint.Solver.WorklistLanguage.Fixpoint.SortCheckLanguage.Fixpoint.TypesLanguage.Fixpoint.Types.Config#Language.Fixpoint.Types.Constraints$Language.Fixpoint.Types.EnvironmentsLanguage.Fixpoint.Types.Errors Language.Fixpoint.Types.GradualsLanguage.Fixpoint.Types.Names#Language.Fixpoint.Types.PrettyPrint#Language.Fixpoint.Types.Refinements!Language.Fixpoint.Types.SolutionsLanguage.Fixpoint.Types.SortsLanguage.Fixpoint.Types.Spans%Language.Fixpoint.Types.Substitutions!Language.Fixpoint.Types.Templates Language.Fixpoint.Types.Theories Language.Fixpoint.Types.TriggersLanguage.Fixpoint.Types.UtilsLanguage.Fixpoint.Types.VisitorLanguage.Fixpoint.Utils.Files Language.Fixpoint.Utils.Progress"Language.Fixpoint.Utils.StatisticsLanguage.Fixpoint.Utils.Trie Text.PrettyPrint.HughesPJ.CompatPaths_liquid_fixpointliquid-fixpoint .liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep.liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep4:2010-17 Ranjit Jhala, University of California, San Diego.jhala@cs.ucsd.edu%Ranjit Jhala, Niki Vazou, Eric Seidel/https://github.com/ucsd-progsys/liquid-fixpointEPredicate Abstraction-based Horn-Clause/Implication Constraint SolvervThis 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 () or CVC4 () binary.Languageinplace7LanguageFixpointDefunctionalizeLanguageFixpointGraphLanguageFixpointGraphDepsLanguageFixpointGraphIndexedLanguageFixpointGraph PartitionLanguageFixpointGraph ReducibleLanguageFixpointGraphTypesLanguageFixpointHornParseLanguageFixpointHornSolveLanguageFixpointHornTransformationsLanguageFixpointHornTypesLanguageFixpointMinimizeLanguageFixpointMiscLanguageFixpointParseLanguageFixpointSmt BitvectorLanguageFixpointSmt InterfaceLanguageFixpointSmt SerializeLanguageFixpointSmtTheoriesLanguageFixpointSmtTypesLanguageFixpointSolverLanguageFixpointSolver EliminateLanguageFixpointSolverGradualSolutionLanguageFixpointSolver InstantiateLanguageFixpointSolverMonadLanguageFixpointSolverSanitizeLanguageFixpointSolverSolutionLanguageFixpointSolverSolveLanguageFixpointSolver TrivialSortLanguageFixpointSolver UniqifyBindsLanguageFixpointSolver UniqifyKVarsLanguageFixpointSolverWorklistLanguageFixpoint SortCheckLanguageFixpointTypesLanguageFixpointTypesConfigLanguageFixpointTypes ConstraintsLanguageFixpointTypes EnvironmentsLanguageFixpointTypesErrorsLanguageFixpointTypesGradualsLanguageFixpointTypesNamesLanguageFixpointTypes PrettyPrintLanguageFixpointTypes RefinementsLanguageFixpointTypes SolutionsLanguageFixpointTypesSortsLanguageFixpointTypesSpansLanguageFixpointTypes SubstitutionsLanguageFixpointTypes TemplatesLanguageFixpointTypesTheoriesLanguageFixpointTypesTriggersLanguageFixpointTypesUtilsLanguageFixpointTypesVisitorLanguageFixpointUtilsFilesLanguageFixpointUtilsProgressLanguageFixpointUtils StatisticsLanguageFixpointUtilsTrieText PrettyPrintHughesPJCompatPaths_liquid_fixpointe/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/builde/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/builde/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build5/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint0HSliquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep*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.0binary-0.8.6.0"boxes-0.1.5-6io6BrPg87q1hhW2bdiQAI%cereal-0.5.8.0-6rtfJLvNbgP66iuaPkuxJC&cmdargs-0.10.20-EiFbtpfcdyUCuIuL5dHJuWcontainers-0.6.0.1deepseq-1.4.4.0directory-1.3.3.0"fgl-5.7.0.1-CpDtOA8pKQl6hGnWjlttIkfilepath-1.4.2.1ghc-prim-0.5.3&hashable-1.2.7.0-CWI8VZuQTAYWIQTQQtqCV#intern-0.9.2-1k5HlC2OR4dJna2fS2KnK5 mtl-2.2.2'parallel-3.2.2.0-EGl5SOk48TWHAD161C93aQparsec-3.1.13.0pretty-1.1.3.6process-1.6.5.0syb-0.7-KRW1LCxdMiCJrmhxCvzo37 text-1.2.3.1'text-format-0.3.2-744dVgaHKrAx4heuHeP2Ztransformers-0.5.6.22unordered-containers-0.2.9.0-BRWkoSTuML1cQdpep6Oin/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/doc/html/liquid-fixpoint/liquid-fixpoint.haddockx/Users/niki/liquidtypes/liquidhaskell/liquid-fixpoint/.stack-work/dist/x86_64-osx/Cabal-2.4.0.1/doc/html/liquid-fixpoint