Kingdom.OrTools.Sat.Parameters (nuget): Provides the basis for a first class experience specifying SAT-CP solver parameters.
Keywords: Google|Operations|Research|Tools|SAT|CP|CSP|constraint|satisfaction|problem|solver|parameter|parameters|Variant|IVariant