SAT-solver based on resolution method in 2-CNF using PLY
-
Updated
Jan 31, 2020 - Python
#
2-sat
Here are 10 public repositories matching this topic...
Yeah, nah, don't look into alternative_sat
-
Updated
Dec 23, 2022 - Python
This is an algorithm that given a Boolean formula with n=3 distinct variables and 2 variables per clause (2-Satisfiability), determines the values of the variables that result in the formula being TRUE, or determines that there is no solution and the formula is never TRUE. Written in Python.
-
Updated
Mar 10, 2023 - Python
Modern, header-only ISO C++20 library for finite discrete mathematics and algorithmic structures. Unified bridge architecture across graphs, automata, logic, order theory, and abstract algebra with zero external dependencies.
graph-algorithms modern-cpp network-flow header-only discrete-mathematics combinatorics propositional-logic regular-expressions group-theory number-theory abstract-algebra 2-sat posets automata-theory alogrithms lattices cpp20 finite-automata order-theory zero-dependencies
-
Updated
Oct 4, 2026 - C++
😆 2-Satisfiability library for JavaScript
-
Updated
Dec 15, 2023 - JavaScript
Modeling Sudoku problem using propositional logic and employing DPLL algorithm to solve it
-
Updated
Oct 30, 2023 - C++
Investigate phase transitions in k-SAT problems
-
Updated
Jan 5, 2025 - Rust
Sharp median-graph realizations by maximum-independent-set token sliding in König-Egerváry graphs
graph-theory combinatorics reconfiguration 2-sat independent-set token-sliding median-graphs koenig-egervary
-
Updated
Aug 5, 2026 - TeX
Tarjan’s algorithm
-
Updated
May 18, 2025 - C++
MATLAB implementations and reports for the Randomized Algorithms course at the Technical University of Crete (2024–25): coupon collector, balls & bins, Hamiltonian cycles, Max-Cut, Johnson-Lindenstrauss and randomized 2-SAT.
-
Updated
Sep 25, 2026 - MATLAB
Add this topic to your repo
To associate your repository with the 2-sat topic, visit your repo's landing page and select "manage topics."