[C#] - SAT

Ambiente de suporte para o módulo SAT em C#.