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
attenuation130.02Subtyping relations and variance roles (apache, constraints, library)2021-10-110.2.0AndrewPritchard
attenuation-profunctors70.00Attenuation support for Profunctors. (apache, constraints, library)2021-10-110.1.0AndrewPritchard
cluss160.02simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-140.3Kinokkory
constraints6172.0157Constraint manipulation (bsd2, constraints, library)2024-05-120.14.2CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving360.02Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-241.1.1.2achirkin
constraints-emerge130.01Defer instance lookups until runtime (constraints, library, mit)2018-04-190.1.2isovector
constraints-extras3952.017Utility package for constraints (bsd3, constraints, library)2024-05-280.4.0.1CaleGibbard, JohnEricson, RyanTrinkle, abrar, 3noch, alexfmpe, maralorn, ymeister
csp232.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
dependent-literals150.00Library for dependent-literals-plugin (apache, constraints, library)2021-11-050.2.0AndrewPritchard
dependent-literals-plugin180.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
ffunctor260.01FFunctor typeclass (bsd3, constraints, library)2020-08-131.2.1fommil
ifscs90.02An inductive-form set constraint solver (bsd3, constraints, library)2013-10-220.2.0.0TristanRavitch
iterative-forward-search60.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
nondeterminism332.02A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-201.5AndreiBarbu
pseudo-boolean680.01Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2024-03-140.1.11.0MasahiroSakai
snumber180.01Integer singletons with flexible representation (apache, constraints, library)2021-11-050.3.0AndrewPritchard
some-dict-of230.03Carry 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
toysolver340.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-constraint470.05Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-070.7.0.0leftaroundabout
unconstrained (deprecated)250.03Null constraint (bsd3, constraints, deprecated, library)2018-01-250.1.0.2