cadical

Star

Here are 10 public repositories matching this topic...

Lipen / kotlin-satlib

Star

🗿 SAT solver wrappers for Kotlin

kotlin jni sat-solver minisat sat glucose cryptominisat cadical

Updated Mar 2, 2024
Kotlin

failpt / word-design-for-DNA-computing

Star

Looking for solutions of certain sizes with Glucose, Kissat and CaDiCaL

glucose cnf-clauses sat-solving cadical kissat word-design csplib

Updated Feb 11, 2026
Python

A collection of tools to study the inversion or collision of truncated versions of MD4, MD5, SHA-256 with SAT solving using techniques such as Cube-and-Conquer, programmatic SAT, Dobbertin's Attack, and differential cryptanalysis.

sat-solver boolean-algebra glucose march cryptominisat cadical cdcl-solver kissat lookahead-solver cube-and-conquer maplesat

Updated Aug 12, 2026
C++

Pikurrot / sudoku-sat-solver

Star

Sudoku solver using CaDiCaL SAT solver

sudoku-solver sudoku sat-solver cdcl cadical

Updated Dec 1, 2023
Python

GildoAlvesdeLimaJunior / Minesweeper

Star

Mathematical formalization and C++ CNF encoder mapping Minesweeper board states to Boolean Satisfiability (SAT) for automated deduction using industrial solvers (CaDiCaL). Developed for Logic for Computer Science at UFCA.

cpp minesweeper sat-solver propositional-logic cadical propositional-logic-encodings cnf-encoder

Updated Aug 26, 2026
C++

Sanexxxx777 / erdos-computational-bounds

Star

SAT + verified LRAT certificate for a covering-system lower bound (Erdős #273), plus a segmented sieve extending verified ranges for #385 and #647 to 1.0011e12

mathematics computational-mathematics reproducibility formal-verification number-theory sat erdos cadical lrat covering-systems