moved exactCover stuff into package in same project