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 | 5 | 0.0 | 2 | Constraint solving framework employed by the Helium Compiler. | (constraints, library, program) | 2012-08-21 | 1.7 | JurriaanHage |
attenuation | 14 | 0.0 | 2 | Subtyping relations and variance roles | (apache, constraints, library) | 2021-10-11 | 0.2.0 | AndrewPritchard |
attenuation-profunctors | 8 | 0.0 | 0 | Attenuation support for Profunctors. | (apache, constraints, library) | 2021-10-11 | 0.1.0 | AndrewPritchard |
cluss | 16 | 0.0 | 2 | simple alternative to type classes | (bsd3, constraints, library, type-system) | 2014-10-14 | 0.3 | Kinokkory |
constraints | 610 | 2.0 | 157 | Constraint manipulation | (bsd2, constraints, library) | 2024-05-12 | 0.14.2 | CaleGibbard, EdwardKmett, ryanglscott |
constraints-deriving | 36 | 0.0 | 2 | Manipulating constraints and deriving class instances programmatically. | (bsd3, constraints, library) | 2021-03-24 | 1.1.1.2 | achirkin |
constraints-emerge | 14 | 0.0 | 1 | Defer instance lookups until runtime | (constraints, library, mit) | 2018-04-19 | 0.1.2 | isovector |
constraints-extras | 390 | 2.0 | 17 | Utility package for constraints | (bsd3, constraints, library) | 2024-05-28 | 0.4.0.1 | CaleGibbard, JohnEricson, RyanTrinkle, abrar, 3noch, alexfmpe, maralorn, ymeister |
csp | 24 | 2.0 | 1 | Discrete constraint satisfaction problem (CSP) solver. | (ai, constraints, control, failure, library, monads) | 2018-03-14 | 1.4.0 | AndreiBarbu |
dependent-literals | 14 | 0.0 | 0 | Library for dependent-literals-plugin | (apache, constraints, library) | 2021-11-05 | 0.2.0 | AndrewPritchard |
dependent-literals-plugin | 18 | 0.0 | 0 | Dependent integer literals | (apache, constraints, library) | 2021-11-05 | 0.1.0.2 | AndrewPritchard |
exists | 9 | 0.0 | 1 | Existential datatypes holding evidence of constraints | (bsd3, constraints, library) | 2012-05-15 | 0.2 | GaborLehel |
ffunctor | 26 | 0.0 | 1 | FFunctor typeclass | (bsd3, constraints, library) | 2020-08-13 | 1.2.1 | fommil |
ifscs | 9 | 0.0 | 2 | An inductive-form set constraint solver | (bsd3, constraints, library) | 2013-10-22 | 0.2.0.0 | TristanRavitch |
iterative-forward-search | 6 | 0.0 | 0 | An IFS constraint solver | (constraints, library, mit) | 2021-07-29 | 0.1.0.0 | mbg, OscarH |
mios | 20 | 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 | 34 | 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 | 69 | 0.0 | 1 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | 2024-03-14 | 0.1.11.0 | MasahiroSakai |
snumber | 18 | 0.0 | 1 | Integer singletons with flexible representation | (apache, constraints, library) | 2021-11-05 | 0.3.0 | AndrewPritchard |
some-dict-of | 23 | 0.0 | 3 | Carry evidence of constraints around | (bsd3, constraints, library) | 2021-09-20 | 0.1.0.2 | parsonsmatt |
superconstraints | 8 | 0.0 | 1 | Access an instance's constraints | (bsd3, constraints, library) | 2017-05-28 | 0.0.2 | RyanTrinkle |
toysolver | 36 | 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 | 48 | 0.0 | 5 | Constraints that any type, resp. no type fulfills | (constraints, gpl, library) | 2021-05-07 | 0.7.0.0 | leftaroundabout |
unconstrained (deprecated) | 25 | 0.0 | 3 | Null constraint | (bsd3, constraints, deprecated, library) | 2018-01-25 | 0.1.0.2 |