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
tree-sitter-minizinc
MiniZinc grammar for tree-sitter
bilge
Use bitsized types as if they were a feature of rust.
cadical
CaDiCaL SAT Solver
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)
matrix-docker-ansible-deploy
Matrix (An open network for secure, decentralized communication) server setup using Ansible and Docker
minizinc-python
Access to all MiniZinc functionality directly from Python
mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
mzn-grader
A MOOC grading executable and library for MiniZinc modelling courses
nixpkgs
Nix Packages collection & NixOS
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
pindakaas
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
zed-minizinc
MiniZinc language support for Zed