Top 20 NuGet solver Packages

Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Provides a convenient, easy to use wrapper for Linear Programming based on the Google OR-tools.
Z3 is a satisfiability modulo theories solver from Microsoft Research.
Provides a convenient, easy to use wrapper for Constraint Satisfaction Programming based on the Google OR-tools.
Extends CloudflareSolverRe, contains captcha providers (2Captcha, AntiCaptcha) that helps solving cloudflare captcha challenge.
Levenberg-Marquardt non-linear least squares solver for .NET
General Sudoku solver and creator library
This is a F# Z3 API wrapper
Wordament solver that handles an arbitrary number of special tiles, finds the many-to-many word-path relationships, and approximates a best path.
This is a portable and lightweight Sudoku solver implementation in C#. It supports .Net Standard 1.0. How to use int[,] grid = { {0, 0, 0, 0, 0, 0, 0, 6, 7}, {0, 0, 0, 9, 0, 7, 4, 0, 3}, {0, 6, 0, 0, 0, 0, 1, 9, 0}, {1, 0, 0, 0, 7, 3, 0, 0, 0}, {0, 0, 0, 4, 0, 6, 0, 0, 0}, ...
Provides the basis for a first class experience specifying SAT-CP solver parameters.
Provides the basis for a first class experience specifying SAT-CP solver parameters.
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.
This is a wrapper for CapMonster Cloud API and provides methods to create a task and get the result of the task.
This is a portable and lightweight Sudoku solver implementation in C#. How to use int[,] grid = { {0, 0, 0, 0, 0, 0, 0, 6, 7}, {0, 0, 0, 9, 0, 7, 4, 0, 3}, {0, 6, 0, 0, 0, 0, 1, 9, 0}, {1, 0, 0, 0, 7, 3, 0, 0, 0}, {0, 0, 0, 4, 0, 6, 0, 0, 0}, {0, 0, 0, 8, 1, 0, 0, 0, 4}, ...
A small linear equations solver
SupplyDemandSolver provides a simple Supply Demand matching algorithm. It supports supplier capacity, demand priorities for different suppliers as well as constraint categories to limit matching.
Provides the core problem solver abstraction for use with Google OR-tools Constraint Solver and Linear Solver wrappers.
Z3 is a satisfiability modulo theories solver from Microsoft Research.
SimpleSudokuSolver is a library for solving sudoku puzzles written in C#. It supports solving of sudoku puzzles steps-by-step, using various solving strategies, from the simplest ones to the more complex ones. It can be used as a learning tool on how to solve sudoku puzzles. Repository contains te...