|over 2 years ago||27 days ago|
|MIT License||GNU General Public License v3.0 only|
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.
kotlin-satlib: SAT solver wrappers for Kotlin
5 projects | reddit.com/r/Kotlin | 13 Jul 2021
Hi folks, I want to present you a small, yet powerful, library (https://github.com/Lipen/kotlin-satlib) that provides an API for SAT solvers and implements some common operations for constraint programming, such as: handling finite-domain variables (e.g.: int in a small range; custom enum; set of values), storing named "variables" in the context, encoding common logic operations over SAT literals (Tseytin-encoded, when necessary), declaring cardinality constraints (for now, only Totalizer encoding is supported, but it works pretty well in general), solving AllSAT.
What are some alternatives?
ipasir - The Standard Interface for Incremental Satisfiability Solving
leakcanary - A memory leak detection library for Android.
kotlin - The Kotlin Programming Language.
cadical - CaDiCaL SAT Solver
cryptominisat - An advanced SAT solver
OkHttp - Square’s meticulous HTTP client for the JVM, Android, and GraalVM.