Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "solver" keyword

View the packages on the hackage.haskell.org package registry that are tagged with the "solver" keyword.

singletons-presburger 0.7.4.1 💰
Presburger arithmetic solver for built-in type-level naturals
12 versions - Latest release: 8 days ago - 3 dependent packages - 8 dependent repositories - 1.66 thousand downloads total - 9 stars on GitHub - 1 maintainer
ghc-typelits-presburger 0.7.4.2 💰
Presburger arithmetic solver for built-in type-level naturals
24 versions - Latest release: 8 days ago - 4 dependent packages - 9 dependent repositories - 8.8 thousand downloads total - 9 stars on GitHub - 1 maintainer
finito 0.1.0.0
Please see the README on GitHub at https://github.com/typedbyte/finito#readme
1 version - Latest release: over 5 years ago - 1 dependent repositories - 465 downloads total - 10 stars on GitHub - 1 maintainer
sop-satisfier 0.3.4.5
Expression satisfier on natural numbers. . It can reason about expressions contatining addition a...
1 version - Latest release: about 2 months ago - 8 downloads total - 1 maintainer
Related Keywords
library 4 Propose Tags 4 bsd3 3 haskell 3 math 2 type-system 2 compiler-plugin 2 dependent-types 2 ghc 2 ghc-plugin 2 presburger-arithmetic-solver 2 type-level-programming 2 ai 1 constraint 1 bsd2 1 symbolic-arithmetic 1