cdcl-solver

There are 5 repositories under cdcl-solver topic.

  • jaras209/SAT_solver

    Implementation of CDCL SAT solver in Python

    Language:Python1100

  • nahiyan/cryptanalysis

    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.

    Language:C++1300

  • KomaEc/sat

    A simple CDCL sat solver

    Language:Rust0100

  • sn2727/cdcl-sat-solver

    CDCL SAT Solver implemented in C++ using watches and restarts

    Language:C++0100

  • TahaRostami/MiniPyDPLL

    A Python Implementation of the DPLL Algorithm Inspired by MiniSAT

    Language:Python00