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.
-
Notifications
You must be signed in to change notification settings - Fork 4
pjt33/MiniSAT.cs
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Simple CDCL SAT solver for .Net
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published