Add Oyako-houjin solver and some solutions constraints.