Top 14 sat Open-Source Projects

• Factorio-SAT

  13 601 1.5 Python

  Enhancing the Factorio experience with SAT solvers

Project mention: Enhancing the Factorio experience with SAT solvers | news.ycombinator.com | 2024-02-12

• CreuSAT

  8 581 6.9 Rust

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

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• luet

  5 246 4.7 Go

  :package: :whale: 0-dependency Container-based Package Manager using SAT solver and QLearning

• tdoku

  5 173 1.9 C++

  A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.

• InventorLoader

  2 105 4.4 Python

  Workbench for FreeCAD to loads or import Autodesk (R) Inventor (R) files.

• SharpMath2

  1 50 0.0 C#

  2D math / geometry collision library for C#, compatable with monogame.

• ipasir

  1 47 0.0 C++

  The Standard Interface for Incremental Satisfiability Solving

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• screwsat

  2 36 2.4 Rust

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

• SMPT

  1 27 6.4 Python

  SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Project mention: Petri Net for tokio ? | /r/rust | 2023-09-05

I also found https://github.com/nicolasAmat/SMPT maybe it should be used because SMT, Z3 looks familiar. It's used in fancy new theorem provers.

• backtrack-rs

  1 14 0.0 Rust

  Solve hard constraints easily with Rust.

• collider2d

  1 13 0.0 JavaScript

  A 2D collision checker for modern JavaScript games.

• kotlin-satlib

  1 8 8.5 Kotlin

  🗿 SAT solver wrappers for Kotlin

• QuAPI

  1 4 10.0 C++

  Library and tool to add assumption-support to generic SAT or QBF solver binaries using automated fork()ing and LD_PRELOAD (by maximaximal)

Project mention: Using LD_PRELOAD to cheat, inject features and investigate programs | news.ycombinator.com | 2023-09-08

• Dynex-Neuromorphic-Chip

  1 0 6.7 C++

  Digital Memcomputing Machine (DMM) based SAT-Solver (by sumitomo72)

Project mention: Dynex Digital Memcomputing Machine (DMM) Based SAT-Solver | news.ycombinator.com | 2023-05-25

• SaaSHub

  www.saashub.com sponsored

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

sat related posts

• Enhancing the Factorio experience with SAT solvers
  3 projects | news.ycombinator.com | 12 Feb 2024
• Factorio SAT
  1 project | news.ycombinator.com | 23 Jan 2024
• Whats harder to understand?
  1 project | /r/factorio | 21 Nov 2022
• 128-128 balancer is now 22 tiles shorter
  3 projects | /r/factorio | 5 Sep 2022
• Nonlinear response to inputs?
  1 project | /r/technicalfactorio | 21 Aug 2022
• CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot
  1 project | /r/u_Dazzling_Finger_8120 | 18 Jun 2022
• CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot
  1 project | /r/ProgrammingLanguages | 18 Jun 2022
• A note from our sponsor - SaaSHub
  www.saashub.com | 24 Apr 2024

  SaaSHub helps you find the best software and product alternatives Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com