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
Top50.02Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-211.7JurriaanHage
attenuation120.02Subtyping relations and variance roles (apache, constraints, library)2021-10-110.2.0AndrewPritchard
attenuation-profunctors60.00Attenuation support for Profunctors. (apache, constraints, library)2021-10-110.1.0AndrewPritchard
cluss110.02simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-140.3Kinokkory
constraints4672.0156Constraint manipulation (bsd2, constraints, library)2023-10-110.14CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving310.02Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-241.1.1.2achirkin
constraints-emerge110.01Defer instance lookups until runtime (constraints, library, mit)2018-04-190.1.2isovector
constraints-extras3312.016Utility package for constraints (bsd3, constraints, library)2022-11-170.4.0.0CaleGibbard, JohnEricson, abrar, 3noch
csp262.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
dependent-literals160.00Library for dependent-literals-plugin (apache, constraints, library)2021-11-050.2.0AndrewPritchard
dependent-literals-plugin150.00Dependent integer literals (apache, constraints, library)2021-11-050.1.0.2AndrewPritchard
exists90.01Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-150.2GaborLehel
ffunctor170.01FFunctor typeclass (bsd3, constraints, library)2020-08-131.2.1fommil
ifscs120.02An inductive-form set constraint solver (bsd3, constraints, library)2013-10-220.2.0.0TristanRavitch
iterative-forward-search40.00An IFS constraint solver (constraints, library, mit)2021-07-290.1.0.0mbg, OscarH
mios180.01A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-071.6.2shnarazk
nondeterminism242.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
pseudo-boolean490.01Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2024-03-140.1.11.0MasahiroSakai
snumber120.01Integer singletons with flexible representation (apache, constraints, library)2021-11-050.3.0AndrewPritchard
some-dict-of190.02Carry evidence of constraints around (bsd3, constraints, library)2021-09-200.1.0.2parsonsmatt
superconstraints80.01Access an instance's constraints (bsd3, constraints, library)2017-05-280.0.2RyanTrinkle
toysolver520.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-constraint280.05Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-070.7.0.0leftaroundabout
unconstrained (deprecated)170.03Null constraint (bsd3, constraints, deprecated, library)2018-01-250.1.0.2