GitHub topics: minisat
togatoga/togasat
A Header-Only CDCL SAT Solver for Programming Contest
Language: C++ - Size: 72.3 KB - Last synced at: about 23 hours ago - Pushed at: over 5 years ago - Stars: 67 - Forks: 11
liffiton/PyMiniSolvers
A Python API for the MiniSat and MiniCard constraint solvers.
Language: C++ - Size: 2.36 MB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 20 - Forks: 6
c-cube/batsat
A (parametrized) Rust SAT solver originally based on MiniSat
Language: Rust - Size: 7.75 MB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 31 - Forks: 4
flopp/gol-sat
A SAT-based forward/backwards solver for Conway's "Game of Life".
Language: C++ - Size: 18.6 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0
joeylr2042/Traffic-Cameras-Management-with-Vertex-Cover
Finding shortest path and minimum vertex cover of the street graph.
Language: C++ - Size: 5.47 MB - Last synced at: 26 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 1
imandra-ai/minisat-ml
Faithful reimplementation of Minisat 2.2 in OCaml.
Language: OCaml - Size: 488 KB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 38 - Forks: 1
c-cube/batsat-ocaml
OCaml bindings for batsat (https://github.com/c-cube/batsat)
Language: OCaml - Size: 985 KB - Last synced at: 7 days ago - Pushed at: about 3 years ago - Stars: 10 - Forks: 2
c-cube/ocaml-minisat
OCaml bindings to Minisat
Language: C++ - Size: 717 KB - Last synced at: 7 days ago - Pushed at: 12 months ago - Stars: 12 - Forks: 4
liffiton/JSMiniSolvers
A Javascript API for the MiniSat and MiniCard constraint solvers.
Language: C++ - Size: 3.33 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Language: Rust - Size: 111 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 591 - Forks: 10
touist/touist
TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
Language: OCaml - Size: 12 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 65 - Forks: 12
vaibhavbhagee/graph_subset
Subgraph isomorphism using SAT Solving
Language: Python - Size: 19.5 KB - Last synced at: 11 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
glnc/minisat-wasm
Compile MiniSat to WebAssembly using emscripten
Language: C++ - Size: 88.9 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 2
Spenca/SATSolver
SAT-based Sudoku solver, written in Python.
Language: C - Size: 194 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 1
mishun/minisat-rust
Experimental minisat SAT solver reimplementation in Rust
Language: Rust - Size: 9.74 MB - Last synced at: 11 months ago - Pushed at: over 5 years ago - Stars: 71 - Forks: 6
far-galaxy/minisat_monitor
Веб-монитор COM-порта от приёмной станции спутников MiniSat
Language: JavaScript - Size: 17.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Lipen/kotlin-satlib
🗿 SAT solver wrappers for Kotlin
Language: Kotlin - Size: 1.41 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 2
trongtai37/sudogame
A new fast, light and comprehensive Sudoku library, powered by SAT encoding!
Language: TypeScript - Size: 946 KB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1
fasapa/satcirc
Combinational Logic Circuits SAT analyzer.
Language: C++ - Size: 267 KB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
adityagupta1089/Sudoku-Solver-by-CSP-and-Minisat
Sudoku Solver by constraint satisfaction problem (CSP) using heuristics - Minimum Remaining Value (MRV), Least Common Value (LCV), Maintainin Arc Consistency (MAC). Secondly, by converting to Satisfiability Problem (SAT) and using a sat solver (miniSAT).
Language: Java - Size: 1000 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0
Chloeiii/SudokuPuzzleSolver
A SAT-based python Sudoku solving program
Language: Python - Size: 42 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
deepuhifi/RSAT
RSAT
Language: Python - Size: 11.7 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
julianthome/hands-on-solvers
Hands-on Constraint Solving: Sudoku to SAT/SMT
Language: Ruby - Size: 44.9 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1
jakublevy/glucose-win
Windows builds for The Glucose SAT Solver.
Language: C++ - Size: 104 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
flopp/alcazar-gen
SAT-based generator for Alcazar puzzles
Language: C++ - Size: 93.8 KB - Last synced at: 17 days ago - Pushed at: 11 months ago - Stars: 10 - Forks: 2
Kapilhk/SatPie
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
Language: Jupyter Notebook - Size: 1.09 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 3
NikhilGupta1997/SAT-Graph-Mapping
Check to see if a mapping exists between 2 graphs (subgraph-isomorphism) by developing optimised SAT clauses and solving them using MINISAT.
Language: C++ - Size: 67.4 KB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 1
c0D3M/Optimization_Problems
Discrete Optimization Algorithms
Language: C++ - Size: 5.08 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
lou1306/plancksat
Just good ol' minisat with some quality of life improvements and weak/strong assumptions
Language: C++ - Size: 132 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
mcifra/sokoban
Simple Sokoban solver using SAT solver Minisat
Language: Python - Size: 2.67 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
yugr/sudoku
A simple Sudoku solver that I've done to experiment with SAT/SMT solvers.
Language: Haskell - Size: 31.3 KB - Last synced at: 2 months ago - Pushed at: about 9 years ago - Stars: 3 - Forks: 0
pradyumnameena/COL333-Artificial-Intelligence
Collection of assignments given by Prof. Mausam in the COL333 course
Language: C++ - Size: 8.89 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1
omeerkorkmazz/dectblproc
Decision Table-Based Testing
Language: Python - Size: 968 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0
jacky860226/JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Language: C++ - Size: 931 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 0
RBaLa/Streetmap
Program that gets from user or randomly generates streets (multilinear segment approximation) with name and segment coordinates, gets the graph formed by the streets with intersections and adjacent street nodes as vertices, and finds shortest path (one of) between any 2 nodes of the resultant undirected and unweighted graph. Vertex Cover program uses miniSAT to find vertex cover in the graph generated.
Language: C++ - Size: 449 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
zakariamaaraki/SAT-Sudoku-solver
Implementation of n x n SAT Sudoku solver using minisat
Language: Java - Size: 30.3 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
Vedant2311/Graph-Subset-Mapping
Solving a Graph Subset Mapping Problem using MiniSAT
Language: C++ - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
hyeongjunCho/CS402
Introduction to Logic in Computer Science
Language: C++ - Size: 790 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
sukrutrao/MaxSAT-Solver
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
Language: C++ - Size: 126 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
carlosgeos/minisat-bootstrap-cpp
Quick template to start doing CSP in C++ with Minisat
Language: C++ - Size: 20.5 KB - Last synced at: 5 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
zhzdeng/minisat Fork of niklasso/minisat
A minimalistic and high-performance SAT solver
Language: C++ - Size: 380 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
