Projects in Awesome Lists tagged with boolean-satisfiability
A curated list of projects in awesome lists tagged with boolean-satisfiability .
https://github.com/dave/brenda
Brenda is a boolean expression solver for Go AST
ast boolean boolean-algebra boolean-expression boolean-formulas boolean-operations boolean-satisfiability go golang
Last synced: 22 Mar 2025
https://github.com/timbeurskens/rsbdd
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
binary-decision-diagrams boolean-satisfiability np-complete sat-solver
Last synced: 09 May 2025
https://github.com/devonfulcher/proof-of-sat
Generate and solve random instances of MAX-SAT and instances of MAX-SAT that are deterministically and pseudo-randomly generated from the solutions of previous MAX-SAT instances. This is a prototype of how a proof of work algorithm can be derived from a relevant problem.
blockchain blockchain-technology boolean-satisfiability consensus consensus-algorithm proof-of-work satisfiability
Last synced: 11 Jan 2025
https://github.com/jmjrawlings/minizinc.net
MiniZinc ↔ .NET
boolean-satisfiability constraint-modelling constraint-programming constraint-satisfaction csharp dotnet minizinc mixed-integer-programming optimisation optimization
Last synced: 18 Mar 2025
https://github.com/nitinkedia7/satispy
Super efficient SAT solver in 500 lines of code
boolean-satisfiability cdcl cprofile python
Last synced: 31 Mar 2025
https://github.com/supermarcel10/javasatsolver
Algorithms project for City University Y1 IN1002.
academic-project boolean-satisfiability learning-project prototype sat-solver
Last synced: 03 Mar 2025
