Dekker1/MiniZinc-Auto-Tabling-Models Dekker1/MiniZinc-Auto-Tabling-Models

  • This repository has been archived on 10/Mar/2022
  • Stars
    star
    1
  • Language
  • Created almost 8 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Dekker1/MiniZinc-Auto-Tabling-Models
github

Dekker1

Reviews

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

Repository Details

Models using an intrinsic auto-tabling mechanism in MiniZinc.

More Repositories

1

vscode-minizinc

MiniZinc support for Visual Studio Code
7
star
2

iro-mzn

Generate MiniZinc syntax highlighters
5
star
3

language-mzn

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

dotfiles

Let's have some dotfiles
Lua
3
star
5

minizinc-discord

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

homebrew-minizinc

A Homebrew Tap for MiniZinc solvers
Ruby
2
star
7

Gastenboek

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

Dekker1

My GitHub readme and personal website
1
star
9

TCP-setup-uppaal

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

tree-sitter-minizinc

MiniZinc grammar for tree-sitter
JavaScript
1
star