Top 20 NuGet dimacs Packages

Library to formulate SAT problems in .NET