The type of the flash constraint solver. More...
#include <flashproperties.hh>
The type of the flash constraint solver.