Skip to content


  • Pro


@MiniZinc @parapluu
Block or Report

Block or report Dekker1

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.

Report abuse

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

Report abuse


Mastodon Follow Rust Fan Go Fan

Hi 👋,

I am a researcher with a passion for programming languages, optimization, and community building. Above all, my research interests lie in devising state-of-the-art methods to solve challenging tasks. I have dedicated the majority of my research to the development of the MiniZinc language, a programming language to model and solve decision and optimization problems.

For more information about me and my research, you can visit

📬 Get in touch


  1. The MiniZinc compiler

    C++ 397 67

  2. Access to all MiniZinc functionality directly from Python

    Python 83 15

  3. The Chuffed CP solver

    C++ 64 34

  4. A Homebrew Tap for MiniZinc solvers


  5. Project Moore: a Wagtail/Django based web-application for the UTN IT infrastructure

    Python 10 7

532 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Activity overview
Contributed to MiniZinc/libminizinc, Dekker1/dotfiles, MiniZinc/minizinc-python and 35 other repositories

Contribution activity

August 2022

Created a pull request in Homebrew/homebrew-core that received 2 comments

picat 3.2.6

Created with brew bump-formula-pr.

+3 −3 2 comments
Opened 2 other pull requests in 1 repository
Dekker1/homebrew-minizinc 2 closed

Seeing something unexpected? Take a look at the GitHub profile guide.