Jip J. Dekker's Projects
CBLS solver
An Atom package that intends to bring the MiniZinc IDE experience to Atom!
Use bitsized types as if they were a feature of rust.
A set of benchmarks to compare a new prototype MiniZinc implementation
CaDiCaL SAT Solver
Manage your dotfiles across multiple diverse machines, securely.
A small application used to run benchmarks on MiniZinc models and solvers
The Chuffed CP solver
My GitHub readme and personal website
A docker image for the use of conan on a mainstream linux distribution
Let's have some dotfiles
Code repository for the Animal AI Olympics competition
Exron Rostering
Tiny tool to do monoalphabetic substitution
A web scraper build to search specific information for a given compound (and its pseudonyms)
Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.
Generic Constraint Development Environment
A collection of useful .gitignore templates
A small go program that converts pdf-files to booklets
The models, scripts, and results of the benchmarks performed for the Half Reification Journal paper
Linear optimization software
🍻 A CLI workflow for the administration of Mac applications distributed as binaries
🍻 Default formulae for the missing package manager for macOS
A Homebrew Tap for MiniZinc solvers
This repository contains the code of Intel(R) SAT Solver (IntelSAT)
Generate MiniZinc syntax highlighters
Atom package to provide syntax highlighting for the MiniZinc constraint modelling language
The MiniZinc compiler
Atom linter for MiniZinc