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 <jip@dekker.li>
# Based on similar makefile for linux by Georgios Petrousis <gpetrousis@gmail.com>
#
# 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