Skip to content
View mezpusz's full-sized avatar
3 followers · 1 following
  • Vienna

Achievements

Achievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report mezpusz

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

Popular repositories

  1. sokohard sokohard Public

    Hard sokoban map generator

    C++ 3 1

  2. influence_maximization influence_maximization Public

    C++

  3. steiner_tree steiner_tree Public

    C++

  4. energy_cost_aware_scheduling energy_cost_aware_scheduling Public

    A CPlex-based model of the Energy-Cost Aware Scheduling problem

    Python

  5. TSPTDMD TSPTDMD Public

    Python

  6. smtlib-to-acl2 smtlib-to-acl2 Public

    Common Lisp