initial commit with prototype solver and lower bounds