made parameters of AllSAT available in ConstrainedRandom.cpp