Package ersatz-toysat
Top Similar Packages
Packages that have similar categories to this package
- Diff 60
- iproute 60
- LogicGrowsOnTrees 48
- edit-distance 26
- toysolver 25
- cond 22
- primes 22
- arithmoi 20
- tpdb 14
- set-cover 13
- satchmo 12
- text-metrics 12
- ersatz 9
- integer-logarithms 9
- obdd 8
- pseudo-boolean 8
- union-find 8
- sgd 7
- smcdel 7
- aeson-diff 5