arnaud-m/opossum — Issue #15: variable generation
Author: arnaud-m
Created: 2012-02-24 12:51:46+00:00
State: open

* initialize variable and domains for the three solvers
* give a name to variables if possible
* unify the initialization of the three solvers