Search Results for "links"

A federated search application for discovering interesting files that are being shared online, such as video, music, books, software, games, subtitles and much more. All data is crawled by od-database which collects information about the contents of servers worldwide. We don't search file contents. We host no content, we provide only access to already available files in the same way Google and other search engines do.

This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions.