Skip to content

@sat-clique SAT CLIQUE

Change the repository type filter

All

    Repositories list

    6 repositories

    • gatekit

      Public
      Generic algorithms and data structures related to gate constraints in SAT CNF problems
      C++
      •
      Other
      •0•0•0•0•Updated Aug 22, 2023Aug 22, 2023

    • garrett

      Public
      Command-line utility for evaluating gatekit
      C++
      •
      Other
      •0•0•0•0•Updated Feb 13, 2022Feb 13, 2022

    • cnfkit

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Feb 12, 2022Feb 12, 2022

    • cadical_stability

      Public
      Stable Watches for CaDiCaL
      C++
      •
      MIT License
      •0•0•0•0•Updated Jan 31, 2022Jan 31, 2022

    • super-simple-sat

      Public
      A super simple SAT solver.
      Rust
      •
      Other
      •0•3•0•0•Updated Oct 14, 2021Oct 14, 2021

    • candy

      Public
      Candy Reduced to its Core
      C++
      •
      Other
      •0•2•0•0•Updated May 1, 2021May 1, 2021