🌌 Supplementary materials for Discrete Math course at ITMO University
tex homework set-theory cheatsheet discrete-mathematics graph-theory combinatorics binary-relations boolean-satisfiability formal-logic typst
-
Updated
Feb 17, 2026 - Typst
#
boolean-satisfiability
Here are 37 public repositories matching this topic...
Language: All
Filter by language
Sort: Most stars
Sort options
Brenda is a boolean expression solver for Go AST
go golang ast boolean boolean-expression boolean-formulas boolean-algebra boolean-operations boolean-satisfiability
-
Updated
Feb 6, 2019 - Go
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
-
Updated
Feb 10, 2026 - Rust
A fast and certifying solver for quantified Boolean formulas.
-
Updated
Apr 29, 2025 - C
Different heuristics and random initialization methods applied to GSAT and WalkSAT algorithms
cpp artificial-intelligence heuristics heuristic-search-algorithms boolean-satisfiability walksat-algorithm gsat-walksat random-initialization
-
Updated
Jul 8, 2022 - C++
A solution to the Boolean Blindness problem.
functional domain-driven-design specification-pattern boolean-algebra boolean-satisfiability boolean-logic explanability boolean-blindness
-
Updated
Feb 15, 2026 - C#
CDCL SAT Solver from Scratch in Python
-
Updated
Jun 24, 2025 - Python
SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Competition 2021.
-
Updated
May 25, 2023 - C++
MiniZinc ↔ .NET
csharp dotnet optimization constraint-satisfaction-problem constraint-programming optimisation minizinc boolean-satisfiability constraint-modelling
-
Updated
Aug 13, 2025 - MiniZinc
A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust
-
Updated
Apr 22, 2025 - Rust
Boolean SAT solver based on DPLL algorithm with randomization and geometric restarts (RGR) heuristic
-
Updated
May 11, 2018 - C++
Rust powered engine for solving Boolean satisfiability problems
-
Updated
May 13, 2020 - Rust
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 consensus blockchain-technology proof-of-work consensus-algorithm boolean-satisfiability satisfiability
-
Updated
Nov 24, 2021 - Python
💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!
-
Updated
Jul 24, 2022 - Python
python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time
-
Updated
Jul 10, 2025 - TeX
Python tool for converting ANF to (2-)XNF.
-
Updated
Feb 16, 2026 - Python
OCaml experimental sat3 solver
-
Updated
May 18, 2020 - OCaml
Universal dependency resolver using SAT solvers - works for software packages, course prerequisites, books, certifications, and any system with logical dependencies
python distributed-systems algorithm rest-api graph-theory cnf sat-solver python36 flask-api package-management dependency-resolution boolean-satisfiability pysat universal-resolver constraint-solving backend-engineering claude-api ai-integration
-
Updated
Jan 24, 2026 - Python
The boolean satisfaction and optimization library for .NET
sat-solver sat boolean-satisfiability maxsaxedesign maxsat maxsat-solver optimisation-problem pseudo-boolean minimally-unsatisfiable-subset
-
Updated
Dec 19, 2023 - C#
Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku
-
Updated
Feb 3, 2022 - Python
Improve this page
Add a description, image, and links to the boolean-satisfiability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the boolean-satisfiability topic, visit your repo's landing page and select "manage topics."