name(modeling). title('MiniZinc-inspired modeling predicates in Prolog.'). version('1.1.5'). author('Francois Fages', 'Francois.Fages@inria.fr'). home('https://lifeware.inria.fr/wiki/Main/Software#modeling'). download('https://lifeware.inria.fr/~fages/modeling-1.1.5.zip').