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

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

Program Design affiliated to General Course Design of CSE College, HUST, for students enrolled in 2018.

An efficient minimal perfect hash function generator for small sets

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

Boolean satisfiability problem

2019CourseDesign

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

PluSAT, a modular SAT solver

A sequential SAT solver that won the 2nd place of SAT Competition 2022 (solved the same number of instances with the winner)

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

Firmware running in the Amsat-DL QO-100 Upconverter/Power Amplifier UpCon6W

Nothing more than a SAT Solver and a Twodoku Game

A wrapper around PicoSAT for Ruby

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

VERIFIER of ACCESS CONTROL

Simple CDCL SAT solver

Compile microsat to WebAssembly using emscripten

Verifies SAT solver output. Uses drat-trim proof checker for UNSAT instances.

SAT-based Sudoku solver, written in Python.