22 packages returned for Tags:"solver"

Package of Microsoft.Solver.Foundation 3.1

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.

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

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

A small linear equations solver

General Sudoku solver and creator library

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

Wordament solver that handles an arbitrary number of special tiles, finds the many-to-many word-path relationships, and approximates a best path.

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.

Solve expressions with SQL like syntax

This is a F# Z3 API wrapper

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.

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

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.

Z3 is a satisfiability modulo theories solver from Microsoft Research.

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

bestcaptchasolver is a super easy to use bypass captcha C# API wrapper for bestcaptchasolver.com captcha service https://bestcaptchasolver.com

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