Kingdom.OrTools.Sat.Core (nuget): Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Keywords: Google|Operations|Research|Tools|wrapper|dispose|disposable|CLR|object|host|constraint|satisfaction|problem|solver|CP|CSP|variable|variables|int|integer|bool|boolean|solution