Jip J. Dekker's repositories
vscode-minizinc
MiniZinc support for Visual Studio Code
homebrew-minizinc
A Homebrew Tap for MiniZinc solvers
minizinc-discord
A Discord bot that will solve MiniZinc instances
libminizinc
The MiniZinc compiler
atlantis
CBLS solver
000
exron-alpha
Exron Rostering
homebrew-cask
🍻 A CLI workflow for the administration of Mac applications distributed as binaries
homebrew-core
🍻 Default formulae for the missing package manager for macOS
intel_sat_solver
This repository contains the code of Intel(R) SAT Solver (IntelSAT)
minizinc-js
Use MiniZinc in the browser or with NodeJS
MPL-2.0000
minizinc-python
Access to all MiniZinc functionality directly from Python
mzn-grader
A MOOC grading executable and library for MiniZinc modelling courses
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
zed-minizinc
MiniZinc language support for Zed