A SAT Solver written in C# which solves boolean satisfiability problems expressed with XORs and NOTs.