Top 20 NuGet solver Packages
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},
...
Cloudflare Javascript & reCaptcha challenge (I'm Under Attack Mode or IUAM) solving / bypass .NET Standard library.
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.
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},
...
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.
Package of Microsoft.Solver.Foundation 3.1
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.
Linux Dependencies:
libgomp.so.1 installed
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...
C#-only solver for the rectangular linear assignment problem, also known as the minimum weight full matching problem for bipartite graphs. Algorithms used include shortest augmenting path search and cost-scaling pseudoflow based assignment.