C++ sat-solver

Open-source C++ projects categorized as sat-solver Edit details

C++ sat-solver Projects

  • cryptominisat

    An advanced SAT solver

    Project mention: kotlin-satlib: SAT solver wrappers for Kotlin | reddit.com/r/Kotlin | 2021-07-13

    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!

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2021-07-13.

C++ sat-solver related posts

Index

Project Stars
1 cryptominisat 614
Find remote jobs at our new job board 99remotejobs.com. There are 4 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
Less time debugging, more time building
Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and ´╗┐external services monitoring, Scout is a developer's best friend when it comes to application development.
scoutapm.com