🗿 SAT solver wrappers for Kotlin
-
Updated
Mar 2, 2024 - Kotlin
#
cadical
Here are 12 public repositories matching this topic...
Looking for solutions of certain sizes with Glucose, Kissat and CaDiCaL
-
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++
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.
-
Updated
Aug 26, 2026 - C++
Sudoku solver using CaDiCaL SAT solver
-
Updated
Dec 1, 2023 - Python
Automorphism group classification and symmetry breaking for Conway's 99-graph (srg(99, 14, 1, 2)) via Lean 4 formalization and certified SAT refutations.
sat-solver formal-verification algebraic-graph-theory strongly-regular-graphs cadical lean4 conway-99-graph drat-trim
-
Updated
Oct 3, 2026 - Python
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
-
Updated
Jul 22, 2026 - Python
Undergraduate research project: encoding the Untouchable 11 puzzle as SAT and comparing three CNF encodings (pairwise, hybrid channeling, sequential counter).
-
Updated
Sep 26, 2026 - Python
A length-22 permutation that three stacks in series cannot sort, with a machine-checkable DRAT certificate. Superseded by Pantone-Vatter (2026).
python computational-mathematics discrete-mathematics combinatorics sat-solver sat drat experimental-mathematics cadical stack-sorting open-problem proof-certificates permutation-patterns
-
Updated
Sep 3, 2026 - Python
python cpp palindrome combinatorics cnf sat-solver cnf-clauses schur ramsey-theory pysat cadical schur-numbers
-
Updated
Aug 24, 2026 - Python
Testing boolean expressions for equivalence
python3 circuit-simulation boolean-algebra symbolic-computation sat cxx11 equivalence-checker cadical
-
Updated
Aug 16, 2026 - C++
Add this topic to your repo
To associate your repository with the cadical topic, visit your repo's landing page and select "manage topics."