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
Top120.0Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-21JurriaanHage
attenuation480.0Subtyping relations and variance roles (apache, constraints, library)2021-10-11AndrewPritchard
attenuation-profunctors180.0Attenuation support for Profunctors. (apache, constraints, library)2021-10-11AndrewPritchard
cluss80.0simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-14Kinokkory
constraints25792.0Constraint manipulation (bsd2, constraints, library)2021-11-10CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving680.0Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-24achirkin
constraints-emerge170.0Defer instance lookups until runtime (constraints, library, mit)2018-04-19isovector
constraints-extras10652.0Utility package for constraints (bsd3, constraints, library)2021-10-28CaleGibbard, abrar, 3noch
csp102.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-14AndreiBarbu
dependent-literals850.0Library for dependent-literals-plugin (apache, constraints, library)2021-11-05AndrewPritchard
dependent-literals-plugin540.0Dependent integer literals (apache, constraints, library)2021-11-05AndrewPritchard
exists70.0Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-15GaborLehel
ffunctor780.0FFunctor typeclass (bsd3, constraints, library)2020-08-13fommil
ifscs120.0An inductive-form set constraint solver (bsd3, constraints, library)2013-10-22TristanRavitch
iterative-forward-search60.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
nondeterminism242.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2015-10-19AndreiBarbu
pseudo-boolean2060.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2021-05-10MasahiroSakai
snumber830.0Integer singletons with flexible representation (apache, constraints, library)2021-11-05AndrewPritchard
some-dict-of210.0Carry evidence of constraints around (bsd3, constraints, library)2021-09-20parsonsmatt
superconstraints110.0Access an instance's constraints (bsd3, constraints, library)2017-05-28RyanTrinkle
toysolver4270.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-constraint560.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-07leftaroundabout
unconstrained (deprecated)270.0Null constraint (bsd3, constraints, deprecated, library)2018-01-25