Packages tagged constraints

14 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
Top110.0Constraint solving framework employed by the Helium Compiler. (constraints, library, program)2012-08-21JurriaanHage
cluss330.0simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-14Kinokkory
constraints5252.0Constraint manipulation (bsd2, constraints, library)2018-07-03EdwardKmett, ryanglscott
constraints-emerge320.0Defer instance lookups until runtime (constraints, library, mit)2018-04-19isovector
csp752.0Discrete constraint satisfaction problem (CSP) solver. (ai, constraints, control, failure, library, monads)2018-03-14AndreiBarbu
exists200.0Existential datatypes holding evidence of constraints (bsd3, constraints, library)2012-05-15GaborLehel
ifscs140.0An inductive-form set constraint solver (bsd3, constraints, library)2013-10-22TristanRavitch
mios630.0A Minisat-based CDCL SAT solver in Haskell (artificial-intelligence, constraints, gpl, library, program)2017-12-20shnarazk
nondeterminism422.0A monad and monad transformer for nondeterministic computations. (ai, constraints, control, failure, library, monads)2015-10-19AndreiBarbu
pseudo-boolean830.0Reading/Writing OPB/WBO files used in pseudo boolean competition (bsd3, constraints, data, library, logic, optimisation, optimization)2017-09-02MasahiroSakai
superconstraints290.0Access an instance's constraints (bsd3, constraints, library)2017-05-28RyanTrinkle
toysolver1380.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-constraint390.0Constraints that any type, resp. no type fulfills (constraints, gpl, library)2016-01-23leftaroundabout
unconstrained420.0Null constraint (bsd3, constraints, library)2018-01-25MatthewFarkasDyck