27 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.

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

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.

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

Provides the core problem solver abstraction for use with Google OR-tools Constraint Solver and Linear Solver wrappers.

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

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

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.

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 F# Z3 API wrapper

Solve expressions with SQL like syntax

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

Z3 is a satisfiability modulo theories solver from Microsoft Research.