Compare toysolver and nonlinear-optimization-ad's popularity and activity
Popularity
9.1
Stable
Activity
7.8
Stable
Popularity
3.5
Stable
Activity
0.0
Stable
| toysolver | nonlinear-optimization-ad | |
| 104 | 6 | |
| 9 | 1 | |
| 6 | 1 | |
| 9 months ago | - | |
| 419 | 183 | |
| Haskell | Haskell | |
| BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 only | |
| Algorithms, Optimization, Logic, Optimisation, Theorem Provers, Constraints, Formal Methods, SMT | Algorithms, Math, Optimization, Optimisation |
Interest over time of toysolver and nonlinear-optimization-ad
Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.