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 |
Description |
Tags |
Last U/L |
Maintainer |
---|---|---|---|---|---|---|
Top | 6 | 0.0 | Constraint solving framework employed by the Helium Compiler. | (constraints, library, program) | 2012-08-21 | JurriaanHage |
attenuation | 10 | 0.0 | Subtyping relations and variance roles | (apache, constraints, library) | 2021-10-11 | AndrewPritchard |
attenuation-profunctors | 2 | 0.0 | Attenuation support for Profunctors. | (apache, constraints, library) | 2021-10-11 | AndrewPritchard |
cluss | 8 | 0.0 | simple alternative to type classes | (bsd3, constraints, library, type-system) | 2014-10-14 | Kinokkory |
constraints | 762 | 2.0 | Constraint manipulation | (bsd2, constraints, library) | 2022-05-20 | CaleGibbard, EdwardKmett, ryanglscott |
constraints-deriving | 47 | 0.0 | Manipulating constraints and deriving class instances programmatically. | (bsd3, constraints, library) | 2021-03-24 | achirkin |
constraints-emerge | 16 | 0.0 | Defer instance lookups until runtime | (constraints, library, mit) | 2018-04-19 | isovector |
constraints-extras | 506 | 2.0 | Utility package for constraints | (bsd3, constraints, library) | 2021-12-20 | CaleGibbard, abrar, 3noch |
csp | 12 | 2.0 | Discrete constraint satisfaction problem (CSP) solver. | (ai, constraints, control, failure, library, monads) | 2018-03-14 | AndreiBarbu |
dependent-literals | 4 | 0.0 | Library for dependent-literals-plugin | (apache, constraints, library) | 2021-11-05 | AndrewPritchard |
dependent-literals-plugin | 4 | 0.0 | Dependent integer literals | (apache, constraints, library) | 2021-11-05 | AndrewPritchard |
exists | 6 | 0.0 | Existential datatypes holding evidence of constraints | (bsd3, constraints, library) | 2012-05-15 | GaborLehel |
ffunctor | 47 | 0.0 | FFunctor typeclass | (bsd3, constraints, library) | 2020-08-13 | fommil |
ifscs | 10 | 0.0 | An inductive-form set constraint solver | (bsd3, constraints, library) | 2013-10-22 | TristanRavitch |
iterative-forward-search | 1 | 0.0 | An IFS constraint solver | (constraints, library, mit) | 2021-07-29 | mbg, OscarH |
mios | 6 | 0.0 | A Minisat-based CDCL SAT solver in Haskell | (artificial-intelligence, constraints, gpl, library, program) | 2018-10-07 | shnarazk |
nondeterminism | 33 | 2.0 | A monad and monad transformer for nondeterministic computations. | (ai, constraints, control, failure, library, monads) | 2022-05-20 | AndreiBarbu |
pseudo-boolean | 51 | 0.0 | Reading/Writing OPB/WBO files used in pseudo boolean competition | (bsd3, constraints, data, library, logic, optimisation, optimization) | 2021-05-10 | MasahiroSakai |
snumber | 5 | 0.0 | Integer singletons with flexible representation | (apache, constraints, library) | 2021-11-05 | AndrewPritchard |
some-dict-of | 10 | 0.0 | Carry evidence of constraints around | (bsd3, constraints, library) | 2021-09-20 | parsonsmatt |
superconstraints | 13 | 0.0 | Access an instance's constraints | (bsd3, constraints, library) | 2017-05-28 | RyanTrinkle |
toysolver | 65 | 0.0 | Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc | (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers) | 2021-02-10 | MasahiroSakai |
trivial-constraint | 51 | 0.0 | Constraints that any type, resp. no type fulfills | (constraints, gpl, library) | 2021-05-07 | leftaroundabout |
unconstrained (deprecated) | 22 | 0.0 | Null constraint | (bsd3, constraints, deprecated, library) | 2018-01-25 |