Skip to main content

Activity for dekker.one

Active on:

Loading activity...

Activity on io.atcr

io.atcr1d ago

Activity on app.nearhorizon

app.nearhorizon1mo ago

Are there any other users of #MiniZinc AND @zed.dev? My syntax highlighting extension is now available for download in the normal extensions list. Have a go and let me know how we can further improve it!

Bluesky network2mo ago
lekkerplannen
Repository
Tangled4mo ago
FZnSO

Flat White Vitriol - An incremental solver protocol for combinatorial solving using shared objects

Repository
Tangled5mo ago

It was amazing to be part of this year’s conference. As always, CPAIOR is an amazing venue for new insights into CP and many closely related, and the perfect place to catch up with old friends and connect with new people.

Bluesky network5mo ago

Me, every time I come back to one of my projects after a month or so

Bluesky network5mo ago

🚀 We’ve released MiniZinc 2.9.4! This patch adds new array manipulations, option type bin_packing and cumulatives, and more consistent float parsing. It also fixes bugs affecting arrays of arrays, polymorphic functions, and comprehension performance. docs.minizinc.dev/en/2.9.4/cha...

Bluesky network7mo ago
dekker.one
Repository
Tangled7mo ago
tree-sitter-minizinc
Repository
Tangled10mo ago
dekker-phd-thesis
Repository
Tangled10mo ago
mzn-byte-benchmarks
Repository
Tangled10mo ago
monash-researchmethods
Repository
Tangled10mo ago
atom-language-mzn
Repository
Tangled10mo ago
monash-fit1047-crypt
Repository
Tangled10mo ago
minizinc-auto-tabling-models
Repository
Tangled10mo ago
chronozinc
Repository
Tangled10mo ago
atom-linter-mzn
Repository
Tangled10mo ago
atom-minisuite
Repository
Tangled10mo ago
ponder
Repository
Tangled10mo ago