Packages tagged constraints

13 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (13), bsd3 (7), gpl (3), program (3), ai (2), control (2), failure (2), lgpl (2), logic (2), monads (2), optimisation (2), optimization (2), ...

Last U/L
Top100.0Constraint solving framework employed by the Helium Compiler. (constraints, gpl, library, program)2012-08-21JurriaanHage
cluss240.0simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-14Kinokkory
constraints4192.0Constraint manipulation (bsd2, constraints, library)2018-01-18EdwardKmett, ryanglscott
csp332.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, lgpl, library, monads)2017-02-16AndreiBarbu
exists150.0Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-15GaborLehel
ifscs90.0An inductive-form set constraint solver (bsd3, constraints, library)2013-10-22TristanRavitch
mios330.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2017-12-20shnarazk
nondeterminism212.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, lgpl, library, monads)2015-10-19AndreiBarbu
pseudo-boolean490.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2017-09-02MasahiroSakai
superconstraints150.0Access an instance's constraints (bsd3, constraints, library)2017-05-28RyanTrinkle
toysolver820.0Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc (algorithms, bsd3, constraints, formal-methods, library, logic, optimisation, optimization, program, theorem-provers)2017-10-09MasahiroSakai
trivial-constraint290.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2016-01-23leftaroundabout
unconstrained430.0Null constraint (bsd3, constraints, library)2018-01-25MatthewFarkasDyck