Packages tagged constraints
24 packages have this tag.
[Merge tag] (trustees only)Related tags: library (24), bsd3 (11), apache (5), program (3), ai (2), control (2), failure (2), gpl (2), logic (2), mit (2), monads (2), optimisation (2), optimization (2), algorithms (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| Top | 1 | 0.0 | 2 | Constraint solving framework employed by the Helium Compiler. | (constraints, library, program) | 2012-08-21 | 1.7 | JurriaanHage |
| attenuation | 4 | 0.0 | 2 | Subtyping relations and variance roles | (apache, constraints, library) | 2021-10-11 | 0.2.0 | AndrewPritchard |
| attenuation-profunctors | 1 | 0.0 | 0 | Attenuation support for Profunctors. | (apache, constraints, library) | 2021-10-11 | 0.1.0 | AndrewPritchard |
| cluss | 1 | 0.0 | 2 | simple alternative to type classes | (bsd3, constraints, library, type-system) | 2014-10-14 | 0.3 | Kinokkory |
| constraints | 337 | 2.0 | 154 | Constraint manipulation | (bsd2, constraints, library) | 2022-05-20 | 0.13.4 | CaleGibbard, EdwardKmett, ryanglscott |
| constraints-deriving | 6 | 0.0 | 2 | Manipulating constraints and deriving class instances programmatically. | (bsd3, constraints, library) | 2021-03-24 | 1.1.1.2 | achirkin |
| constraints-emerge | 2 | 0.0 | 1 | Defer instance lookups until runtime | (constraints, library, mit) | 2018-04-19 | 0.1.2 | isovector |
| constraints-extras | 290 | 2.0 | 16 | Utility package for constraints | (bsd3, constraints, library) | 2022-11-17 | 0.4.0.0 | CaleGibbard, abrar, 3noch |
| csp | 13 | 2.0 | 1 | Discrete constraint satisfaction problem (CSP) solver. | (ai, constraints, control, failure, library, monads) | 2018-03-14 | 1.4.0 | AndreiBarbu |
| dependent-literals | 4 | 0.0 | 0 | Library for dependent-literals-plugin | (apache, constraints, library) | 2021-11-05 | 0.2.0 | AndrewPritchard |
| dependent-literals-plugin | 1 | 0.0 | 0 | Dependent integer literals | (apache, constraints, library) | 2021-11-05 | 0.1.0.2 | AndrewPritchard |
| exists | 2 | 0.0 | 1 | Existential datatypes holding evidence of constraints | (bsd3, constraints, library) | 2012-05-15 | 0.2 | GaborLehel |
| ffunctor | 3 | 0.0 | 1 | FFunctor typeclass | (bsd3, constraints, library) | 2020-08-13 | 1.2.1 | fommil |
| ifscs | 1 | 0.0 | 2 | An inductive-form set constraint solver | (bsd3, constraints, library) | 2013-10-22 | 0.2.0.0 | TristanRavitch |
| iterative-forward-search | 1 | 0.0 | 0 | An IFS constraint solver | (constraints, library, mit) | 2021-07-29 | 0.1.0.0 | mbg, OscarH |
| mios | 3 | 0.0 | 1 | A Minisat-based CDCL SAT solver in Haskell | (artificial-intelligence, constraints, gpl, library, program) | 2018-10-07 | 1.6.2 | shnarazk |
| nondeterminism | 13 | 2.0 | 2 | A monad and monad transformer for nondeterministic computations. | (ai, constraints, control, failure, library, monads) | 2022-05-20 | 1.5 | AndreiBarbu |
| pseudo-boolean | 6 | 0.0 | 1 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | 2021-05-10 | 0.1.10.0 | MasahiroSakai |
| snumber | 1 | 0.0 | 1 | Integer singletons with flexible representation | (apache, constraints, library) | 2021-11-05 | 0.3.0 | AndrewPritchard |
| some-dict-of | 10 | 0.0 | 2 | Carry evidence of constraints around | (bsd3, constraints, library) | 2021-09-20 | 0.1.0.2 | parsonsmatt |
| superconstraints | 2 | 0.0 | 1 | Access an instance's constraints | (bsd3, constraints, library) | 2017-05-28 | 0.0.2 | RyanTrinkle |
| toysolver | 10 | 0.0 | 4 | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc | (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers) | 2022-09-17 | 0.8.1 | MasahiroSakai |
| trivial-constraint | 13 | 0.0 | 5 | Constraints that any type, resp. no type fulfills | (constraints, gpl, library) | 2021-05-07 | 0.7.0.0 | leftaroundabout |
| unconstrained (deprecated) | 15 | 0.0 | 3 | Null constraint | (bsd3, constraints, deprecated, library) | 2018-01-25 | 0.1.0.2 |