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
Top30.02Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-211.7JurriaanHage
attenuation80.02Subtyping relations and variance roles (apache, constraints, library)2021-10-110.2.0AndrewPritchard
attenuation-profunctors40.00Attenuation support for Profunctors. (apache, constraints, library)2021-10-110.1.0AndrewPritchard
cluss50.02simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-140.3Kinokkory
constraints4552.0151Constraint manipulation (bsd2, constraints, library)2022-05-200.13.4CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving280.02Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-241.1.1.2achirkin
constraints-emerge40.01Defer instance lookups until runtime (constraints, library, mit)2018-04-190.1.2isovector
constraints-extras3902.014Utility package for constraints (bsd3, constraints, library)2022-11-170.4.0.0CaleGibbard, abrar, 3noch
csp182.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
dependent-literals50.00Library for dependent-literals-plugin (apache, constraints, library)2021-11-050.2.0AndrewPritchard
dependent-literals-plugin40.00Dependent integer literals (apache, constraints, library)2021-11-050.1.0.2AndrewPritchard
exists40.01Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-150.2GaborLehel
ffunctor170.01FFunctor typeclass (bsd3, constraints, library)2020-08-131.2.1fommil
ifscs20.02An inductive-form set constraint solver (bsd3, constraints, library)2013-10-220.2.0.0TristanRavitch
iterative-forward-search20.00An IFS constraint solver (constraints, library, mit)2021-07-290.1.0.0mbg, OscarH
mios80.01A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-071.6.2shnarazk
nondeterminism202.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
pseudo-boolean210.01Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2021-05-100.1.10.0MasahiroSakai
snumber50.01Integer singletons with flexible representation (apache, constraints, library)2021-11-050.3.0AndrewPritchard
some-dict-of200.02Carry evidence of constraints around (bsd3, constraints, library)2021-09-200.1.0.2parsonsmatt
superconstraints40.01Access an instance's constraints (bsd3, constraints, library)2017-05-280.0.2RyanTrinkle
toysolver210.04Assorted 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-170.8.1MasahiroSakai
trivial-constraint370.05Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-070.7.0.0leftaroundabout
unconstrained (deprecated)160.03Null constraint (bsd3, constraints, deprecated, library)2018-01-250.1.0.2