Kotlin-satlib Alternatives

Similar projects and alternatives to kotlin-satlib

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better kotlin-satlib alternative or higher similarity.

Suggest an alternative to kotlin-satlib

kotlin-satlib reviews and mentions

Posts with mentions or reviews of kotlin-satlib. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-07-13.
  • 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.

Stats

Basic kotlin-satlib repo stats
1
9
7.4
3 months ago

Lipen/kotlin-satlib is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

Static code analysis for 29 languages.
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
www.sonarqube.org
Find remote jobs at our new job board 99remotejobs.com. There are 7 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.