Fork of the Limboole SAT solver frontend from http://fmv.jku.at/limboole/ modified to be executable using WebAssembly on the web.

This Course covers fault modeling, test generation, design-for-testability, system-level testing, and formal verification techniques for ensuring correctness and reliability of complex VLSI designs and SoCs.

A SAT-based C/C++ solver for the Resource-Constrained Project Scheduling Problem with General Precedence Relations (RCPSP-GPR)

HUSTCS华中科技大学2024届程序课程设计/C课设--基于DPLL的Sat求解器和数独游戏

PluSAT, a modular SAT solver

Bounded model checker for petri nets. It uses a SAT solver. The idea is presented at ATVA 2004.

color 2 sat implementation for k-colorability on DIMACS formatted graphs

R wrapper for the PicoSAT SAT solver

R wrapper for the Kissat SAT solver

The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.

Implementation for fast DIMACS Parsing on x86 using SSE SIMD instructions and experimental AVX512

Lingeling SAT Solver fork with CMake build

Projects made for IZLO (Introduction to Logic for Computer Science)

A simple, small, work in progress SAT-solver, written in ANSI C

První projekt z předmětu IZLO.

Nothing more than a SAT Solver and a Twodoku Game

Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)

Receive Side Scaling (RSS) key solver meant to provide an RSS Toeplitz hash key that follows constraints between packets

A Rust library that provides SAT solvers

A one-file, zero-dependency, SAT collision detection library in pure C (a port of sat-js)