Skip to content
View fkutzner's full-sized avatar
7 followers · 8 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@sat-clique @ipasir2
Block or Report

Block or report fkutzner

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. PyCSCL PyCSCL Public

    A lightweight CNF SAT constraint encoder library

    Python 5 1

  2. sat-clique/cnfkit sat-clique/cnfkit Public

    C++

  3. sat-clique/gatekit sat-clique/gatekit Public

    Generic algorithms and data structures related to gate constraints in SAT CNF problems

    C++

  4. ipasir2/ipasir2-cpp ipasir2/ipasir2-cpp Public

    C++ Bindings for IPASIR 2

    C++ 1