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
Description
Tags
Last U/L
Maintainer
Top10.0Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-21JurriaanHage
attenuation50.0Subtyping relations and variance roles (apache, constraints, library)2021-10-11AndrewPritchard
attenuation-profunctors10.0Attenuation support for Profunctors. (apache, constraints, library)2021-10-11AndrewPritchard
cluss60.0simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-14Kinokkory
constraints4492.0Constraint manipulation (bsd2, constraints, library)2022-05-20CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving250.0Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-24achirkin
constraints-emerge60.0Defer instance lookups until runtime (constraints, library, mit)2018-04-19isovector
constraints-extras2672.0Utility package for constraints (bsd3, constraints, library)2022-11-17CaleGibbard, abrar, 3noch
csp212.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-14AndreiBarbu
dependent-literals60.0Library for dependent-literals-plugin (apache, constraints, library)2021-11-05AndrewPritchard
dependent-literals-plugin80.0Dependent integer literals (apache, constraints, library)2021-11-05AndrewPritchard
exists40.0Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-15GaborLehel
ffunctor220.0FFunctor typeclass (bsd3, constraints, library)2020-08-13fommil
ifscs10.0An inductive-form set constraint solver (bsd3, constraints, library)2013-10-22TristanRavitch
iterative-forward-search20.0An IFS constraint solver (constraints, library, mit)2021-07-29mbg, OscarH
mios110.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-07shnarazk
nondeterminism232.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2022-05-20AndreiBarbu
pseudo-boolean210.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2021-05-10MasahiroSakai
snumber30.0Integer singletons with flexible representation (apache, constraints, library)2021-11-05AndrewPritchard
some-dict-of150.0Carry evidence of constraints around (bsd3, constraints, library)2021-09-20parsonsmatt
superconstraints30.0Access an instance's constraints (bsd3, constraints, library)2017-05-28RyanTrinkle
toysolver300.0Assorted 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-17MasahiroSakai
trivial-constraint240.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-07leftaroundabout
unconstrained (deprecated)140.0Null constraint (bsd3, constraints, deprecated, library)2018-01-25