Packages tagged constraints

17 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (17), bsd3 (10), program (3), ai (2), control (2), failure (2), gpl (2), logic (2), monads (2), optimisation (2), optimization (2), algorithms (1), artificial-intelligence (1), bsd2 (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Top220.0Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-21JurriaanHage
cluss50.0simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-14Kinokkory
constraints8792.0Constraint manipulation (bsd2, constraints, library)2020-02-03CaleGibbard, EdwardKmett, ryanglscott
constraints-deriving160.0Manipulating constraints and deriving class instances programmatically. (bsd3, constraints, library)2020-09-06achirkin
constraints-emerge30.0Defer instance lookups until runtime (constraints, library, mit)2018-04-19isovector
constraints-extras1952.0Utility package for constraints (bsd3, constraints, library)2019-10-01CaleGibbard, abrar, 3noch
csp42.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-14AndreiBarbu
exists40.0Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-15GaborLehel
ffunctor270.0FFunctor typeclass (bsd3, constraints, library)2020-08-13fommil
ifscs30.0An inductive-form set constraint solver (bsd3, constraints, library)2013-10-22TristanRavitch
mios40.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2018-10-07shnarazk
nondeterminism52.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2015-10-19AndreiBarbu
pseudo-boolean100.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2019-10-14MasahiroSakai
superconstraints20.0Access an instance's constraints (bsd3, constraints, library)2017-05-28RyanTrinkle
toysolver80.0Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, smt, theorem-provers)2019-10-04MasahiroSakai
trivial-constraint1380.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2019-07-12leftaroundabout
unconstrained (deprecated)60.0Null constraint (bsd3, constraints, deprecated, library)2018-01-25