Skip to content
View fkutzner's full-sized avatar

Organizations

@sat-clique @ipasir2

Block or report fkutzner

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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