|over 2 years ago||about 1 month ago|
|MIT License||GNU General Public License v3.0 or later|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
What are some alternatives?
kotlin-satlib - :moyai: SAT solver wrappers for Kotlin
GuiLite - ✔️The smallest header-only GUI library(4 KLOC) for all platforms
cadical - CaDiCaL SAT Solver
cryptominisat - An advanced SAT solver
Sourcetrail - Sourcetrail - free and open-source interactive source explorer
OpenRCT2 - An open source re-implementation of RollerCoaster Tycoon 2 🎢