The official MiniSat page links to a C# port, but the link is dead. I've recovered the source code (although not, alas, the tests) with the aid of archive.org, and that forms the first commit. I intend to make some improvements, because there is room for speed and memory optimisation.
jacky860226 / minisat.cs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from pjt33/minisat.cs
Simple CDCL SAT solver for .Net