Pinned Repositories
chuffed
The Chuffed CP solver
dotfiles
Let's have some dotfiles
homebrew-minizinc
A Homebrew Tap for MiniZinc solvers
iro-mzn
Generate MiniZinc syntax highlighters
vscode-minizinc
MiniZinc support for Visual Studio Code
huub
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
libminizinc
The MiniZinc compiler
minizinc-python
Access to all MiniZinc functionality directly from Python
pindakaas
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
moore
Project Moore: a Wagtail/Django based web-application for the UTN IT infrastructure
Dekker1's Repositories
Dekker1/vscode-minizinc
MiniZinc support for Visual Studio Code
Dekker1/iro-mzn
Generate MiniZinc syntax highlighters
Dekker1/dotfiles
Let's have some dotfiles
Dekker1/homebrew-minizinc
A Homebrew Tap for MiniZinc solvers
Dekker1/minizinc-discord
A Discord bot that will solve MiniZinc instances
Dekker1/Dekker1
My GitHub readme and personal website
Dekker1/libminizinc
The MiniZinc compiler
Dekker1/atlantis
CBLS solver
Dekker1/bilge
Use bitsized types as if they were a feature of rust.
Dekker1/cadical
CaDiCaL SAT Solver
Dekker1/chuffed
The Chuffed CP solver
Dekker1/exron-alpha
Exron Rostering
Dekker1/fzn_picat
Dekker1/gecode
Generic Constraint Development Environment
Dekker1/gitignore
A collection of useful .gitignore templates
Dekker1/homebrew-cask
🍻 A CLI workflow for the administration of Mac applications distributed as binaries
Dekker1/homebrew-core
🍻 Default formulae for the missing package manager for macOS
Dekker1/huub
A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed
Dekker1/intel_sat_solver
This repository contains the code of Intel(R) SAT Solver (IntelSAT)
Dekker1/minizinc-js
Use MiniZinc in the browser or with NodeJS
Dekker1/minizinc-python
Access to all MiniZinc functionality directly from Python
Dekker1/mzn-bench
A framework to performing benchmark testing on MiniZinc models, solvers, and/or the compiler itself.
Dekker1/mzn-grader
A MOOC grading executable and library for MiniZinc modelling courses
Dekker1/nixpkgs
Nix Packages collection & NixOS
Dekker1/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
Dekker1/pindakaas
A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form
Dekker1/pysat
A toolkit for SAT-based prototyping in Python
Dekker1/shackle
A constraint modelling and rewriting library and compiler framework written in rust
Dekker1/tayet
Dekker1/zed-minizinc
MiniZinc language support for Zed