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
Top60.02Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-211.7JurriaanHage
attenuation90.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
constraints4522.0151Constraint manipulation (bsd2, constraints, library)2022-05-200.13.4CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving330.02Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-241.1.1.2achirkin
constraints-emerge90.01Defer instance lookups until runtime (constraints, library, mit)2018-04-190.1.2isovector
constraints-extras3942.014Utility package for constraints (bsd3, constraints, library)2022-11-170.4.0.0CaleGibbard, abrar, 3noch
csp302.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
dependent-literals100.00Library for dependent-literals-plugin (apache, constraints, library)2021-11-050.2.0AndrewPritchard
dependent-literals-plugin80.00Dependent integer literals (apache, constraints, library)2021-11-050.1.0.2AndrewPritchard
exists70.01Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-150.2GaborLehel
ffunctor100.01FFunctor typeclass (bsd3, constraints, library)2020-08-131.2.1fommil
ifscs60.02An inductive-form set constraint solver (bsd3, constraints, library)2013-10-220.2.0.0TristanRavitch
iterative-forward-search30.00An IFS constraint solver (constraints, library, mit)2021-07-290.1.0.0mbg, OscarH
mios170.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-boolean500.01Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2021-05-100.1.10.0MasahiroSakai
snumber90.01Integer singletons with flexible representation (apache, constraints, library)2021-11-050.3.0AndrewPritchard
some-dict-of290.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
toysolver320.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)280.03Null constraint (bsd3, constraints, deprecated, library)2018-01-250.1.0.2