HomeSearchLibrary
Eight queens problem | OmniWiki