An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: boolean-satisfiability

Wrazlmumfp/anf_to_2xnf

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

Language: Python - Size: 3.52 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 3 - Forks: 0

huub-solver/huub

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

Language: Rust - Size: 3.16 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 11 - Forks: 6

MarkusRabe/cadet

A fast and certifying solver for quantified Boolean formulas.

Language: C - Size: 5.68 MB - Last synced at: 2 months ago - Pushed at: 2 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: about 2 months ago - Pushed at: 2 months ago - Stars: 7 - Forks: 2

karlssberg/Motiv

A solution to the Boolean Blindness problem.

Language: C# - Size: 37.6 MB - Last synced at: 9 days ago - Pushed at: 9 days 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: 5 months ago - Pushed at: 5 months ago - Stars: 5 - Forks: 1

jmjrawlings/MiniZinc.Net

MiniZinc ↔ .NET

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

BadNintendo/SAT

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: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

Supermarcel10/JavaSATSolver

Algorithms project for City University Y1 IN1002.

Language: Java - Size: 257 KB - Last synced at: 4 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: 12 months ago - Pushed at: 12 months 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: 28 days ago - Pushed at: over 6 years ago - Stars: 46 - Forks: 5

Quiggleson/sat

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

Language: TeX - Size: 3.87 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

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: 3 months ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

seker212/SI_Lab_Sem6 📦

Slitherlink Puzzle interpreting as a SAT Problem

Language: Python - Size: 41 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

maxtuno/SLIME

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.

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

tchupp/ignition

Rust powered engine for solving Boolean satisfiability problems

Language: Rust - Size: 779 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0

enricomors/cdmo_vlsi

Repo for the project of the course on Combinatorial Decision Making and Optimization @ Unibo

Language: Jupyter Notebook - Size: 29.9 MB - Last synced at: 12 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 1

ai4verification/ai4verification.github.io

AI4Verification,Verfication,EDA,AI4EDA,SAT

Language: HTML - Size: 41 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 2

TimurIbrayev/SATsolver

Boolean SAT solver based on DPLL algorithm with randomization and geometric restarts (RGR) heuristic

Language: C++ - Size: 845 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 3

liloheinrich/Sudoku

Advanced Algorithms | Spring 2021 | DPLL SAT solver for Sudoku

Language: Python - Size: 7.51 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

jwang541/Minesweeper-Solver-SAT

💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!

Language: Python - Size: 184 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

nitinkedia7/satispy

Super efficient SAT solver in 500 lines of code

Language: Jupyter Notebook - Size: 11.1 MB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

dakk/osat

OCaml experimental sat3 solver

Language: OCaml - Size: 51.8 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

soultanis/Classic-SAT-Solver

Backtracking, watchlist-based, Boolean satisfiability problem solver

Language: Python - Size: 9.77 KB - Last synced at: 22 days ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

ShaswataJash/satisfiability-problem

Boolean satisfiability problem (SAT), maximum satisfiability problem (MAX-SAT) etc

Language: C++ - Size: 432 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0