Top Similar Packages

Packages that have similar categories to this package

• constraints 110
• Diff 60
• iproute 60
• LogicGrowsOnTrees 48
• edit-distance 26
• toysolver 25
• cond 22
• opentheory-primitive 22
• primes 22
• arithmoi 20
• opentheory 18
• tpdb 14
• sbv 13
• set-cover 13
• satchmo 12
• text-metrics 12
• ersatz 9
• integer-logarithms 9
• pseudo-boolean 8
• z3 8

Categories

• Algorithms
• Optimisation
• Optimization
• Theorem Provers
• Constraints
• Logic
• Formal Methods