#
cadical
Here are 4 public repositories matching this topic...
🗿 SAT solver wrappers for Kotlin
- Updated
Mar 2, 2024 - Kotlin
Sudoku solver using CaDiCaL SAT solver
- Updated
Dec 1, 2023 - 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-solverboolean-algebraglucosemarchcryptominisatcadicalcdcl-solverkissatlookahead-solvercube-and-conquermaplesat
- Updated
Aug 2, 2024 - C++
Improve this page
Add a description, image, and links to thecadical topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thecadical topic, visit your repo's landing page and select "manage topics."