Skip to content
View Udopia's full-sized avatar
🖖
🖖
22 followers · 35 following

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Organizations

@satcompetition @sat-clique @ipasir2

Block or report Udopia

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. gbd gbd Public

    Management of Benchmark Instances and Instance Attributes

    Python 16 5

  2. gbdc gbdc Public

    Instance Identification, Feature Extraction, and Problem Transformation

    C++ 4

  3. satlecture/kit2024 satlecture/kit2024 Public

    Lecture: Practical SAT Solving (ST 2024)

    C++ 3 3

  4. ipasir2/ipasir2 ipasir2/ipasir2 Public

    IPASIR 2 Specification and Discussion

    C++ 5

  5. sendosc sendosc Public

    Lightweight Algorithm Sonification with Open Sound Control

    C++ 1

  6. satviz/satviz satviz/satviz Public

    Java 11 1