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), ...
Processing...
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 | 7 | 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 | 3 | 0.0 | 2 | simple alternative to type classes | (bsd3, constraints, library, type-system) | 2014-10-14 | 0.3 | Kinokkory |
| constraints | 119 | 2.0 | 161 | Constraint manipulation | (bsd2, constraints, library) | 2024-05-12 | 0.14.2 | CaleGibbard, EdwardKmett, ryanglscott |
| constraints-deriving | 11 | 0.0 | 2 | Manipulating constraints and deriving class instances programmatically. | (bsd3, constraints, library) | 2021-03-24 | 1.1.1.2 | achirkin |
| constraints-emerge | 3 | 0.0 | 1 | Defer instance lookups until runtime | (constraints, library, mit) | 2018-04-19 | 0.1.2 | isovector |
| constraints-extras | 35 | 2.0 | 17 | Utility package for constraints | (bsd3, constraints, library) | 2025-01-18 | 0.4.0.2 | CaleGibbard, JohnEricson, RyanTrinkle, abrar, 3noch, alexfmpe, maralorn, ymeister |
| csp | 4 | 2.0 | 1 | Discrete constraint satisfaction problem (CSP) solver. | (ai, constraints, control, failure, library, monads) | 2018-03-14 | 1.4.0 | AndreiBarbu |
| dependent-literals | 6 | 0.0 | 0 | Library for dependent-literals-plugin | (apache, constraints, library) | 2021-11-05 | 0.2.0 | AndrewPritchard |
| dependent-literals-plugin | 4 | 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 | 7 | 0.0 | 1 | FFunctor typeclass | (bsd3, constraints, library) | 2020-08-13 | 1.2.1 | fommil |
| ifscs | 0 | 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 | 7 | 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 | 5 | 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 | 31 | 0.0 | 1 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | 2025-04-05 | 0.1.12.0 | MasahiroSakai |
| snumber | 2 | 0.0 | 1 | Integer singletons with flexible representation | (apache, constraints, library) | 2021-11-05 | 0.3.0 | AndrewPritchard |
| some-dict-of | 4 | 0.0 | 3 | Carry evidence of constraints around | (bsd3, constraints, library) | 2021-09-20 | 0.1.0.2 | parsonsmatt |
| superconstraints | 1 | 0.0 | 1 | Access an instance's constraints | (bsd3, constraints, library) | 2017-05-28 | 0.0.2 | RyanTrinkle |
| toysolver | 53 | 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) | 2025-02-18 | 0.9.0 | MasahiroSakai |
| trivial-constraint | 8 | 0.0 | 5 | Constraints that any type, resp. no type fulfills | (constraints, gpl, library) | 2021-05-07 | 0.7.0.0 | leftaroundabout |
| unconstrained (deprecated) | 4 | 0.0 | 3 | Null constraint | (bsd3, constraints, deprecated, library) | 2018-01-25 | 0.1.0.2 |
Showing 1 to 24 of 24 entries