Skip to content
View MarkusRabe's full-sized avatar
22 followers · 6 following
  • University of California, Berkeley
  • Berkeley, CA, USA

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report MarkusRabe

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 Loading

  1. cadet cadet Public

    A fast and certifying solver for quantified Boolean formulas.

    C 26 13

  2. smtlib2qdimacs smtlib2qdimacs Public

    A translator from SMTLIB2 to QDIMACS. Restricted to the bitvector theory and still incomplete.

    Python 4

  3. synthetic_qbf_formulas synthetic_qbf_formulas Public

    Python 2 1

  4. py-aiger py-aiger Public

    Forked from mvcisback/py-aiger

    Python 1

  5. qbf_formulas_for_rl qbf_formulas_for_rl Public

    1

  6. py-AIGAR py-AIGAR Public

    Forked from mvcisback/py-AIGAR

    Python 1