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
Top80.0Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-21JurriaanHage
attenuation510.0Subtyping relations and variance roles (apache, constraints, library)2021-10-11AndrewPritchard
attenuation-profunctors250.0Attenuation support for Profunctors. (apache, constraints, library)2021-10-11AndrewPritchard
cluss60.0simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-14Kinokkory
constraints15432.0Constraint manipulation (bsd2, constraints, library)2021-02-17CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving590.0Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-24achirkin
constraints-emerge120.0Defer instance lookups until runtime (constraints, library, mit)2018-04-19isovector
constraints-extras7472.0Utility package for constraints (bsd3, constraints, library)2021-03-24CaleGibbard, abrar, 3noch
csp112.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-14AndreiBarbu
dependent-literals300.0Library for dependent-literals-plugin (apache, constraints, library)2021-09-09AndrewPritchard
dependent-literals-plugin300.0Dependent integer literals (apache, constraints, library)2021-09-09AndrewPritchard
exists50.0Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-15GaborLehel
ffunctor670.0FFunctor typeclass (bsd3, constraints, library)2020-08-13fommil
ifscs70.0An inductive-form set constraint solver (bsd3, constraints, library)2013-10-22TristanRavitch
iterative-forward-search20.0An IFS constraint solver (constraints, library, mit)2021-07-29mbg, OscarH
mios100.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-07shnarazk
nondeterminism112.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2015-10-19AndreiBarbu
pseudo-boolean780.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2021-05-10MasahiroSakai
snumber160.0Integer singletons with flexible representation (apache, constraints, library)2021-09-08AndrewPritchard
some-dict-of120.0Carry evidence of constraints around (bsd3, constraints, library)2021-09-20parsonsmatt
superconstraints70.0Access an instance's constraints (bsd3, constraints, library)2017-05-28RyanTrinkle
toysolver4600.0Assorted 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-10MasahiroSakai
trivial-constraint480.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-07leftaroundabout
unconstrained (deprecated)200.0Null constraint (bsd3, constraints, deprecated, library)2018-01-25