NickLarsen/sat-solver

trying to write a sat solver, lets see how it goes

C#MIT