Initial commit for enumerative solver