#

cryptominisat5

Here are 2 public repositories matching this topic...

cipherboy / cmsh

High-level interfaces over @msoos's CryptoMiniSat.

python golang circuit cnf sat high-level satisfiability cryptominisat cryptominisat5

Updated Mar 14, 2024
Python

GabrieleMaurina / sudoku-sat

A c++ sudoku solver based on Cryptominisat

cpp sudoku-solver sudoku sudoku-game sat sudoku-solution-finder cryptominisat cryptominisat5

Updated Jun 2, 2020
C++

Improve this page

Add a description, image, and links to the cryptominisat5 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cryptominisat5 topic, visit your repo's landing page and select "manage topics."