Dekker1/language-mzn Dekker1/language-mzn

  • This repository has been archived on 10/Mar/2022
  • Stars
    star
    3
  • Rank 3,943,126 (Top 79 %)
  • Language
  • License
    MIT License
  • Created almost 9 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Dekker1/language-mzn
github

Dekker1

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Atom package to provide syntax highlighting for the MiniZinc constraint modelling language

More Repositories

1

vscode-minizinc

MiniZinc support for Visual Studio Code
7
star
2

iro-mzn

Generate MiniZinc syntax highlighters
5
star
3

dotfiles

Let's have some dotfiles
Lua
3
star
4

minizinc-discord

A Discord bot that will solve MiniZinc instances
Python
2
star
5

homebrew-minizinc

A Homebrew Tap for MiniZinc solvers
Ruby
2
star
6

Gastenboek

Een Gastenboek, ter voorkoming van brassen geheel geautomatiseerd.
Go
1
star
7

Dekker1

My GitHub readme and personal website
1
star
8

TCP-setup-uppaal

An Uppaal analysis of the connection setup of the TCP protocol.
TeX
1
star
9

tree-sitter-minizinc

MiniZinc grammar for tree-sitter
JavaScript
1
star
10

MiniZinc-Auto-Tabling-Models

Models using an intrinsic auto-tabling mechanism in MiniZinc.
1
star