Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 1, 2024

• Upgrade yellow project file format

  cyderize

  committed
  d890155

Commits on May 24, 2023

• Fix the element+season matching table in herbs1.mzn

  Dekker1

  authored
  b3a0719

• Fix table declaration in herbs1.mzn

  Dekker1

  authored
  b92f1e4

Commits on Oct 7, 2021

• Changed variable name

  Show description for fa6d549
  

  dtonhofer

  authored and

  Dekker1

  committed
  fa6d549

• Update patrolV3.mzn

  Show description for 8506311
  

  dtonhofer

  authored and

  Dekker1

  committed
  8506311

• Update patrolV2.mzn

  Show description for 51c444e
  

  dtonhofer

  authored and

  Dekker1

  committed
  51c444e

• Update patrolV1.mzn

  Show description for bd6e197
  

  dtonhofer

  authored and

  Dekker1

  committed
  bd6e197

• Update feast trap solution with the simpler temperature constraint

  Dekker1

  committed
  0f82950

Commits on Apr 1, 2019

• Fixed typo pointed out by Costo

  

  Peter Stuckey

  committed
  5f5ab4e

Commits on Feb 20, 2019

• Removed solution erroneously in the data

  

  Peter Stuckey

  committed
  d595755

Commits on Aug 15, 2018

• Fixed bug when sunday was start day

  

  Peter Stuckey

  committed
  20152a1

Commits on Mar 20, 2018

• Added a file with all models used in MIP search

  

  Peter Stuckey

  committed
  04d1291

• Added a single file for all models

  

  Peter Stuckey

  committed
  1839790

Commits on Mar 19, 2018

• New course benchmarks

  

  Peter Stuckey

  committed
  c72aab4

Commits on Jun 13, 2017

• Fixed line in regular constraint

  

  Peter Stuckey

  committed
  d37cb83

Commits on Mar 13, 2017

• Added some symmetry constraint files

  

  Peter Stuckey

  committed
  dd60f8d

Commits on Jan 25, 2017

• Added workshops solutions to repository

  

  Peter Stuckey

  committed
  4808bd3

Commits on Nov 10, 2016

• Merge branch 'master' of https://github.com/MiniZinc/specialization-examples

  Show description for 0b9e135
  

  Peter Stuckey

  committed
  0b9e135

• Fixed models which either:

  Show description for 250297c
  

  Peter Stuckey

  committed
  250297c

Commits on Oct 3, 2016

• fixed a relaxation in the declaration of a variable

  

  Peter Stuckey

  committed
  c158b71

Commits on Sep 28, 2016

• Add files via upload

  jleecuhk

  authored
  d123f39

Commits on Sep 1, 2016

• Added army examples from lecture 1.1.4

  

  Peter Stuckey

  committed
  326c22f

Commits on Aug 31, 2016

• Initial commit of files for specialization

  

  Peter Stuckey

  committed
  adffb9f