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
Top20.0Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-21JurriaanHage
attenuation110.0Subtyping relations and variance roles (apache, constraints, library)2021-10-11AndrewPritchard
attenuation-profunctors40.0Attenuation support for Profunctors. (apache, constraints, library)2021-10-11AndrewPritchard
cluss50.0simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-14Kinokkory
constraints4432.0Constraint manipulation (bsd2, constraints, library)2022-05-20CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving190.0Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-24achirkin
constraints-emerge40.0Defer instance lookups until runtime (constraints, library, mit)2018-04-19isovector
constraints-extras2842.0Utility package for constraints (bsd3, constraints, library)2022-11-17CaleGibbard, abrar, 3noch
csp232.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-14AndreiBarbu
dependent-literals50.0Library for dependent-literals-plugin (apache, constraints, library)2021-11-05AndrewPritchard
dependent-literals-plugin60.0Dependent integer literals (apache, constraints, library)2021-11-05AndrewPritchard
exists30.0Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-15GaborLehel
ffunctor160.0FFunctor typeclass (bsd3, constraints, library)2020-08-13fommil
ifscs20.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
mios120.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-07shnarazk
nondeterminism262.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-20AndreiBarbu
pseudo-boolean220.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2021-05-10MasahiroSakai
snumber40.0Integer singletons with flexible representation (apache, constraints, library)2021-11-05AndrewPritchard
some-dict-of160.0Carry evidence of constraints around (bsd3, constraints, library)2021-09-20parsonsmatt
superconstraints40.0Access an instance's constraints (bsd3, constraints, library)2017-05-28RyanTrinkle
toysolver330.0Assorted 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-17MasahiroSakai
trivial-constraint240.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-07leftaroundabout
unconstrained (deprecated)160.0Null constraint (bsd3, constraints, deprecated, library)2018-01-25