Skip to content
View bmrips's full-sized avatar
11 followers · 15 following
  • Radboud University
  • Nijmegen, Netherlands

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Quickdraw

Block or report bmrips

Report abuse

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

Report abuse

Pinned Loading

  1. sat sat Public

    A SAT solver using the DPLL algorithm.

    Haskell 2