/var/lib/minizinc/
