Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 7.6% downloads on hackage.haskell.org
Top 4.6% dependent packages on hackage.haskell.org
Top 5.3% forks on hackage.haskell.org
hackage.haskell.org : liquid-fixpoint
This package implements an SMTLIB based Horn-Clause/Logical Implication constraint solver used for Liquid Types. The package includes: Types for Expressions, Predicates, Constraints, Solutions 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.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/liquid-fixpoint
Keywords: bsd3, language, library, program
License: BSD-3-Clause
Latest release: over 2 years ago
First release: over 10 years ago
Dependent packages: 5
Dependent repositories: 11
Downloads: 19,350 total
Stars: 128 on GitHub
Forks: 58 on GitHub
Total Commits: 3286
Committers: 52
Average commits per author: 63.192
Development Distribution Score (DDS): 0.488
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 19 days ago