GitHub repository: visualon/sat4net
Description: A charp port of sat4j