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
Top90.0Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-21JurriaanHage
attenuation580.0Subtyping relations and variance roles (apache, constraints, library)2021-10-11AndrewPritchard
attenuation-profunctors240.0Attenuation support for Profunctors. (apache, constraints, library)2021-10-11AndrewPritchard
cluss70.0simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-14Kinokkory
constraints14892.0Constraint manipulation (bsd2, constraints, library)2021-02-17CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving590.0Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2021-03-24achirkin
constraints-emerge140.0Defer instance lookups until runtime (constraints, library, mit)2018-04-19isovector
constraints-extras7212.0Utility package for constraints (bsd3, constraints, library)2021-03-24CaleGibbard, abrar, 3noch
csp132.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-14AndreiBarbu
dependent-literals320.0Library for dependent-literals-plugin (apache, constraints, library)2021-09-09AndrewPritchard
dependent-literals-plugin320.0Dependent integer literals (apache, constraints, library)2021-09-09AndrewPritchard
exists60.0Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-15GaborLehel
ffunctor650.0FFunctor typeclass (bsd3, constraints, library)2020-08-13fommil
ifscs90.0An inductive-form set constraint solver (bsd3, constraints, library)2013-10-22TristanRavitch
iterative-forward-search30.0An IFS constraint solver (constraints, library, mit)2021-07-29mbg, OscarH
mios120.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-07shnarazk
nondeterminism142.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2015-10-19AndreiBarbu
pseudo-boolean790.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2021-05-10MasahiroSakai
snumber180.0Integer singletons with flexible representation (apache, constraints, library)2021-09-08AndrewPritchard
some-dict-of570.0Carry evidence of constraints around (bsd3, constraints, library)2021-09-20parsonsmatt
superconstraints70.0Access an instance's constraints (bsd3, constraints, library)2017-05-28RyanTrinkle
toysolver4510.0Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers)2021-02-10MasahiroSakai
trivial-constraint490.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2021-05-07leftaroundabout
unconstrained (deprecated)210.0Null constraint (bsd3, constraints, deprecated, library)2018-01-25