|2 months ago||about 2 months 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.
How would you suggest building an application to solve a puzzle?
1 project | reddit.com/r/learnprogramming | 21 Nov 2021
You'd probably end up with thousands of variables and tens / hundreds of thousands of constraints. You'd assign each variable a number, then feed the whole mess of constraint equations into an off-the-shelf SAT solver like Cadical, then interpret the solver's results in terms of puzzle piece positions.
kotlin-satlib: SAT solver wrappers for Kotlin
5 projects | reddit.com/r/Kotlin | 13 Jul 2021
Alongside with the SAT solver interface and its extensions, `kotlin-satlib` provides wrappers for native SAT solvers (these days, most of them are written in C/C++) implemented using JNI technology. Currently, the solvers included are: MiniSat, Glucose, Cadical and CryptoMiniSat. Sadly, `kotlin-satlib` won't work out-of-the-box, you have to provide it with some external SAT solver, either in the form of a library or a binary. Luckily, there are build instructions for each of the supported SAT solver, both for Linux and Windows. Checkout the README!
What are some alternatives?
cryptominisat - An advanced SAT solver
kotlin-satlib - :moyai: SAT solver wrappers for Kotlin
jnisat - Java JNI bindings for the PicoSat and MiniSat SAT solvers
Sourcetrail - Sourcetrail - free and open-source interactive source explorer
OpenRCT2 - An open source re-implementation of RollerCoaster Tycoon 2 🎢
GuiLite - ✔️The smallest header-only GUI library(4 KLOC) for all platforms