Dekker1

# Main author: Jip J. Dekker <[email protected]>
# Copyright:   Jip J. Dekker, 2024
#
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.

import asyncio
from enum import Enum
from typing import AsyncIterator, List, Tuple

Dekker1

include "output/gantt.mzn";
include "ide/vis.mzn";

set of int: Tasks = 1..10;
array[Tasks] of var 1..1440: start;
array[Tasks] of int: dur = [35 | i in Tasks];

constraint forall(i,j in Tasks where i > j) (if i mod 2 == 0 then start[i] + dur[i] < start[j] else start[i] + 16 < start[j] endif);
output [ show_gantt(start, dur) ];
constraint vis_gantt(start, dur);

Dekker1

FROM minizinc/minizinc:latest-alpine

RUN apk add --update --no-cache python3 py3-pip
RUN pip3 install --no-cache-dir minizinc
COPY basic_example.py /usr/local/bin/basic_example.py

ENTRYPOINT ["/usr/local/bin/basic_example.py"]

Dekker1

"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
" => Dein.vim initialisation
"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
if &compatible
	set nocompatible
endif
set runtimepath+=~/.config/nvim/repos/github.com/Shougo/dein.vim

call dein#begin(expand('~/.config/nvim/'))

Dekker1

//
// Created by Jip J. Dekker on 05/10/15.
//

#include "Timer.h"

void Timer::start() {
    if (output) cout << "\t Start Application"<< endl;
    app.start = high_resolution_clock::now();
}

Dekker1

# A simple and basic Makefile build script for Gecode for Mac OSX.
#
# Author:
#	Jip J. Dekker <[email protected]>
# Based on similar makefile for linux by Georgios Petrousis <[email protected]>
#
# Updated on: 9/11/2014
#
# Feel free to distribute this file to anyone.
# Please contact me for any corrections and suggestions.

Dekker1

function flip
  echo "$argv[1]" | perl -C3 -Mutf8 -lpe '$_=reverse;y/a-zA-Z.['\'',({?!\"<_;‿⁅∴\r/ɐqɔpǝɟƃɥıɾʞ|ɯuodbɹsʇnʌʍxʎzɐqɔpǝɟƃɥıɾʞ|ɯuodbɹsʇnʌʍxʎz˙],'\'')}¿¡,>‾؛⁀⁆∵\n/'
end

function fuck
  set -l CMD "pkill"
  which $CMD >/dev/null; or set -l CMD "killall"
  echo
  if [ $argv[1] = "off" ]
    set FLIP ' (ノಠ益ಠ)ノ彡' '(ノಠ-ಠ)ノ彡'

Dekker1

if test -e $HOME/.ecryptfs/auto-mount; then
  mount | grep "$HOME type ecryptfs"
  if test $? != 0; then
    ecryptfs-mount-private
    cd $HOME
    source ~/.zshrc
  fi
fi