WYCS: removed large solver file ...