GitHub topics: boolean-satisfiability

Repositories

huub-solver/huub

A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

Language: Rust - Size: 3.28 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 13 - Forks: 6

Quiggleson/sat

python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time

Language: TeX - Size: 4.36 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 3 - Forks: 1

Wrazlmumfp/anf_to_2xnf

Python tool for converting ANF to (2-)XNF.

Language: Python - Size: 3.52 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 3 - Forks: 0

Sina-Baharlou/GSAT-WalkSAT

Different heuristics and random initialization methods applied to GSAT and WalkSAT algorithms

Language: C++ - Size: 965 KB - Last synced at: 18 days ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 1

MarkusRabe/cadet

A fast and certifying solver for quantified Boolean formulas.

Language: C - Size: 5.68 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 27 - Forks: 13

timbeurskens/rsbdd

A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust

Language: Rust - Size: 341 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 7 - Forks: 2

karlssberg/Motiv

A solution to the Boolean Blindness problem.

Language: C# - Size: 37.6 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0

Kienyew/CDCL-SAT-Solver-from-Scratch

CDCL SAT Solver from Scratch in Python

Language: Python - Size: 1.95 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 1

jmjrawlings/MiniZinc.Net

MiniZinc ↔ .NET

Language: C# - Size: 2.55 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 0

Using Javascript to configure the new approach to how to handle and sort large dataset known as SAT often referred to as Boolean satisfiability in a timeframe using predetermined results to speed things up.

Language: Python - Size: 15.6 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

Supermarcel10/JavaSATSolver

Algorithms project for City University Y1 IN1002.

Language: Java - Size: 257 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

afifabroory/SudokuAreEz-SAT

SudokuAreEz-SAT are project implement Mathematics Logic using Boolean Satisfiability to solve Sudoku puzzle.

Language: Python - Size: 297 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

dave/brenda

Brenda is a boolean expression solver for Go AST

Language: Go - Size: 22.5 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 46 - Forks: 5

chinefed/easySAT

Experimental SAT solver written in C language. The program uses bitmaps to represent the search state, and bitwise operations are at the backbone of the algorithm implementation.

Language: C - Size: 520 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mrushyendra/Chalk

CDCL based SAT Solver for boolean formulas in DIMACS CNF format

Language: C++ - Size: 8.05 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

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.

Language: Python - Size: 11.7 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0