minizinc

other topics