SatSolverTests.cs 12 KB