34 packages returned for Tags:"Solver"

Package of Microsoft.Solver.Foundation 3.1

Z3 is a satisfiability modulo theories solver from Microsoft Research. Linux Dependencies: libgomp.so.1 installed

Levenberg-Marquardt non-linear least squares solver for .NET

A small linear equations solver

Xamarin.Android bindings for AndroidX - constraintlayout-solver

The fastest multithreading 2D parametric constraints solver for CAD applications. Examples: https://github.com/CloudInvent/Cheetah.Examples Full documentation will be available on our site: www.cloud-invent.com, or by request on support@cloud-invent.com If you want to see CheetahSolver in action... More information

Levenberg-Marquardt non-linear least squares solver for .NET

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,... More information

The OPTANO Modeling library allows you to use C# as a Modeling language for mathematical optimization (mixed integer programming (MIP) and linear programming (LP)). It has a lightweight footprint and connects to several solvers.

Spice# is a circuit simulator based on and improved from Spice 3f5 by Berkeley. The framework allows custom components and simulations to be added.

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... More information

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,... More information

General Sudoku solver and creator library

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.

Simple API wrapper for https://2captcha.com/

Janet Sudoku is a powerful Sudoku Generator and Sudoku Solver library for Java (since jdk 1.5) Android .NET (since 2.0) MONO CLS compliant. Additionally library delivers Janet Sudoku Demo App implementation in a simple form command line tool, yet highly functional.

Simple API wrapper for https://anti-captcha.com/

State of the Art Mathematical Programming Solver This package ships all files to run Gurobi with OPTANO Modeling on win64 and linux64. No additional installation required. When running on linux, please also install gurobi as usual. OPTANO.Modeling.Gurobi comes with a size-limited Gurobi... More information

This is a F# Z3 API wrapper