name(modeling). title('Mathematical modeling with constraints on subscripted variables.'). version('1.1.1'). 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.1.tgz').