Category Constraints
Top Packages
Packages that have the most dependencies to them from other packages in this category.
- constraints 110
- toysolver 25
- pseudo-boolean 8
- mios 2
- nondeterminism 2
- csp 1
- ifscs 1
- cluss 0
- constraints-emerge 0
- exists 0
- superconstraints 0
- trivial-constraint 0
- unconstrained 0
Top Paired Categories
Categories that are often combined with this category.
- Data 36652
- Control 16946
- Monads 663
- Algorithms 359
- Logic 191
- Formal Methods 116
- Type System 103
- Failure 77
- Theorem Provers 77
- Optimization 47
- Optimisation 42
- Ai 29
- Artificial Intelligence 0