minisat 开源项目推荐（50 个）

sarsko /CreuSAT

CreuSAT——一个正式验证的SAT求解器，用Rust编写并通过Creusot验证。

togatoga /togasat

A Header-Only CDCL SAT Solver for Programming Contest

mishun /minisat-rust

Experimental minisat SAT solver reimplementation in Rust

touist /touist

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

imandra-ai /minisat-ml

Faithful reimplementation of Minisat 2.2 in OCaml.

c-cube /batsat

A (parametrized) Rust SAT solver originally based on MiniSat

liffiton /PyMiniSolvers

A Python API for the MiniSat and MiniCard constraint solvers.

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

c-cube /ocaml-minisat

OCaml bindings to Minisat

c-cube /batsat-ocaml

OCaml bindings for batsat (https://github.com/c-cube/batsat)

jacky860226 /JinkelaSat

A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)

flopp /alcazar-gen

SAT-based generator for Alcazar puzzles

Lipen /kotlin-satlib

🗿 SAT solver wrappers for Kotlin

jakublevy /glucose-win

Windows builds for The Glucose SAT Solver.

vaibhavbhagee /graph_subset

Subgraph isomorphism using SAT Solving

flopp /gol-sat

A SAT-based forward/backwards solver for Conway's "Game of Life".

glnc /minisat-wasm

Compile MiniSat to WebAssembly using emscripten

yugr /sudoku

A simple Sudoku solver that I've done to experiment with SAT/SMT solvers.

rohankalbag /testing-and-verification

Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay

sukrutrao /MaxSAT-Solver

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone