Open-source projects categorized as sat-solver Edit details

Top 10 sat-solver Open-Source Projects

  • cryptominisat

    An advanced SAT solver

  • CreuSAT

    CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

    Project mention: CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot | | 2022-06-18

    Download’s Tech Salary Report. Median salaries, most in-demand technologies, state of the remote work... all you need to know your worth on the market by tech recruitment platform

  • toysolver

    My sandbox for experimenting with solver algorithms.

  • kanren

    An extensible, lightweight relational/logic programming DSL written in pure Python

    Project mention: When do you use generators? | | 2022-03-21

    Kanren for Pyhon implements a logic programming paradigm using generators giving substitutions for logical variables. It allows to deal with infinite solutions that can be conjoined (interleaved) with others seamlessly

  • minizinc-python

    Access to all MiniZinc functionality directly from Python

  • screwsat

    A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

  • solver

    SAT solver library in Go; wraps around Google's Operational Research Tools

  • Scout APM

    Truly a developer’s best friend. Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.

  • picosat

    Haskell bindings for PicoSAT solver

  • picologic

    Symbolic logic expressions

  • kotlin-satlib

    :moyai: SAT solver wrappers for Kotlin

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 2022-06-18.

sat-solver related posts


What are some of the best open-source sat-solver projects? This list will help you:

Project Stars
1 cryptominisat 646
2 CreuSAT 475
3 toysolver 136
4 kanren 102
5 minizinc-python 83
6 screwsat 31
7 solver 18
8 picosat 16
9 picologic 13
10 kotlin-satlib 9
Find remote jobs at our new job board There are 8 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.