Compare toysolver and DP's popularity and activity
Popularity
9.3
Stable
Activity
4.1
-
Popularity
5.0
Declining
Activity
0.0
Stable
toysolver | DP | |
151 | 6 | |
11 | 4 | |
11 | 2 | |
431 days | - | |
over 4 years ago | - | |
11 months ago | over 14 years ago | |
50 | 9 | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License | |
Algorithms, Optimization, Logic, Optimisation, Theorem Provers, Constraints, Formal Methods, SMT | Algorithms, Math, Natural Language Processing |
More comparisons
-
DPvsarithmoi
-
DPvsgraph-generators
-
DPvslca
-
DPvstwentyseven
-
DPvsADPfusionSet
-
toysolvervsarithmoi
Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «
» Subscribe to our newsletter «