Skip to content
View Dekker1's full-sized avatar

Highlights

  • Pro

Organizations

@MiniZinc @parapluu

Block or report Dekker1

Report abuse

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

Report abuse
Dekker1/README.md

dekker1

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 dekker.one.

NOTICE: I have moved my non-collaborative projects to tangled.sh.

📬 Get in touch

Pinned Loading

  1. huub-solver/huub huub-solver/huub Public

    A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed

    Rust 26 9

  2. MiniZinc/libminizinc MiniZinc/libminizinc Public

    The MiniZinc compiler

    MiniZinc 646 87

  3. pindakaashq/pindakaas pindakaashq/pindakaas Public

    A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

    Rust 8 6

  4. shackle-rs/shackle shackle-rs/shackle Public

    A constraint modelling and rewriting library and compiler framework written in rust

    Rust 25 8

  5. chuffed/chuffed chuffed/chuffed Public

    The Chuffed CP solver

    C++ 118 44

  6. MiniZinc/minizinc-python MiniZinc/minizinc-python Public

    Access to all MiniZinc functionality directly from Python

    Python 199 27