Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix the order of contraints changed by previous commits:
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Fri, 9 Dec 2011 15:45:14 +0000 (16:45 +0100)
committerNavarrop <Pierre.Navarro@imag.fr>
Fri, 6 Jan 2012 15:30:58 +0000 (16:30 +0100)
7591b36 Reduce the number of calls to lmm_update_modified_set.
c44aefe In lmm_update_modified_set, don't visit variables twice.


No differences found