Module defines routines for generating testing sets.
Module defines routines for checking constraints in automated mode.
Fast way to import all modules from dcheck package.