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
Top40.02Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-211.7JurriaanHage
attenuation20.02Subtyping relations and variance roles (apache, constraints, library)2021-10-110.2.0AndrewPritchard
attenuation-profunctors10.00Attenuation support for Profunctors. (apache, constraints, library)2021-10-110.1.0AndrewPritchard
cluss60.02simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-140.3Kinokkory
constraints5352.0158Constraint manipulation (bsd2, constraints, library)2024-05-120.14.2CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving100.02Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-241.1.1.2achirkin
constraints-emerge10.01Defer instance lookups until runtime (constraints, library, mit)2018-04-190.1.2isovector
constraints-extras3212.017Utility package for constraints (bsd3, constraints, library)2024-05-280.4.0.1CaleGibbard, JohnEricson, RyanTrinkle, abrar, 3noch, alexfmpe, maralorn, ymeister
csp112.01Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-141.4.0AndreiBarbu
dependent-literals70.00Library for dependent-literals-plugin (apache, constraints, library)2021-11-050.2.0AndrewPritchard
dependent-literals-plugin70.00Dependent integer literals (apache, constraints, library)2021-11-050.1.0.2AndrewPritchard
exists30.01Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-150.2GaborLehel
ffunctor80.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-search10.00An IFS constraint solver (constraints, library, mit)2021-07-290.1.0.0mbg, OscarH
mios160.01A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-071.6.2shnarazk
nondeterminism172.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)2024-03-140.1.11.0MasahiroSakai
snumber30.01Integer singletons with flexible representation (apache, constraints, library)2021-11-050.3.0AndrewPritchard
some-dict-of130.03Carry evidence of constraints around (bsd3, constraints, library)2021-09-200.1.0.2parsonsmatt
superconstraints00.01Access an instance's constraints (bsd3, constraints, library)2017-05-280.0.2RyanTrinkle
toysolver50.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-constraint150.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