C# SAT solvers