Stack Overflow
Stack Overflow

Questions tagged [solver]

A solver is a generic term indicating a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem.

A solver is a generic term indicating a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem. A solver takes problem descriptions in some sort of generic form and calculate their solution. In a solver, the emphasis is on creating a program or library that can easily be applied to other problems of similar type.

For more information about the topic, please visit http://en.wikipedia.org/wiki/Solver .

1673 questions
40
votes
2 answers

Solve an equation using a python numerical solver in numpy

I have an equation, as follows: R - ((1.0 - np.exp(-tau))/(1.0 - np.exp(-a*tau))) = 0. I want to solve for tau in this equation using a numerical solver available within numpy. What is the best way to go about this? The values for R and a in this…
stars83clouds
  • 795
  • 1
  • 8
  • 25
25
votes
2 answers

What is SAT and what it is good for?

Recently I saw a Reddit article on using SAT for solving a puzzle [1]. This got me very curios about this "SAT" thing. I read the Wikipedia article but I would like to ask someone of you to explain it for me in more layman terms. What is SAT and…
Ecir Hana
  • 10,864
  • 13
  • 67
  • 117
25
votes
4 answers

R solve:system is exactly singular

I am solving simple optimization problem. The data set has 26 columns and over 3000 rows. The source code looks like Means <- colMeans(Returns) Sigma <- cov(Returns) invSigma1 <- solve(Sigma) And everything works perfect- but then I want to do…
Alex
  • 363
  • 1
  • 4
  • 10
21
votes
5 answers

JavaScript equation solver library

Is there a JavaScript library or function that will solve equations for variables? Such as 9 = 3 + x and solve for x. But it should also solve more advanced equations that include sine, cosine, and tangent.
Will
  • 19,661
  • 7
  • 47
  • 48
17
votes
4 answers

SymPy: Limit symbol/variable to interval

Using SymPy, is it possible to limit the possible values of a symbol/variable to a certain range? I now I can set some properties while defining symbols, like positive=True, but I need more control, i.e. I need to set it to be in the interval [0,1].…
Se Norm
  • 1,715
  • 5
  • 23
  • 40
16
votes
4 answers

poetry install | SolverProblemError Because my_project depends on string (*) which doesn't match any versions, version solving failed

I am yet to use poetry to run project, so excuse lack of understanding. I successfully installed the poetry python library manager, using: curl -sSL https://raw.githubusercontent.com/python-poetry/poetry/master/get-poetry.py | python3 Next step…
user16341274
12
votes
2 answers

What are the state-of-art methods for solving functional equations?

Suppose that you want to find a λ-calculus program, T, that satisfies the following equations: (T (λ f x . x)) = (λ a t . a) (T (λ f x . (f x))) = (λ a t . (t a)) (T (λ f x . (f (f x)))) = (λ a b t . (t a b)) (T (λ f x . (f (f…
MaiaVictor
  • 51,090
  • 44
  • 144
  • 286
10
votes
4 answers

Is there any efficient way to dynamically change the compress_matrix in boost?

I am using ublas::Compressed Matrix to work with UMFPACK, a sparse linear solver. Since I am doing a simulation, so every time the linear system is constructed slightly differently that might involve enlarging/shrinking the coefficient matrix and…
He01
  • 171
  • 1
  • 1
  • 7
10
votes
1 answer

How can I emulate Microsoft Excel's Solver functionality (GRG Nonlinear) in C#?

I have a non-linear optimization problem with constraints. It can be solved in Microsoft Excel with the Solver add-in, but I am having trouble replicating that in C#. My problem is shown in the following spreadsheet. I am solving the classic A x = b…
Craig W
  • 4,390
  • 5
  • 33
  • 51
9
votes
1 answer

How can i install Google's CP solver OR-Tools in MiniZinc?

I'm currently working on MiniZinc, and i have been running my models with the two solvers integrated in MiniZinc: Gecode and Chuffed. I've been running it in the IDE, but i am aware that it can be runned in bash too (using minizinc command). But i…
Juan Marcos
  • 115
  • 1
  • 7
9
votes
2 answers

Looking for a .NET Math Equation Editor and Solver Control

I am looking for a 3rd party custom control that can handle both editing and solving simple math equations (with image generation). I know about LaTeX and using its syntax to generate images of math equations (i've used this project here that…
KabanaSoft
  • 1,591
  • 2
  • 13
  • 13
9
votes
3 answers

Excel Solver Password: what is it and where can it be acquired/bought?

I've been exploring VBA and excel and I've been writing a few basic codes around the Excel Solver. However robust the Excel Solver may appear, it's just not fast enough for my optimization problem (one iteration takes 20 minutes). I've been looking…
Gian
  • 113
  • 1
  • 1
  • 6
9
votes
5 answers

Solve best fit polynomial and plot drop-down lines

I'm using R 3.3.1 (64-bit) on Windows 10. I have an x-y dataset that I've fit with a 2nd order polynomial. I'd like to solve that best-fit polynomial for x at y=4, and plot drop-down lines from y=4 to the x-axis. This will generate the data in a…
jeffgoblue
  • 319
  • 1
  • 3
  • 11
9
votes
5 answers

How can a declaration conflict with itself?

This is the error I'm getting when trying to compile some code that uses taucs (not my code): .../taucs/src/taucs.h:554: error: conflicting declaration ‘typedef struct taucs_ccs_matrix taucs_ccs_matrix’ .../taucs/src/taucs.h:554: error:…
eeeeaaii
  • 3,372
  • 5
  • 30
  • 36
9
votes
3 answers

Solving a Variable Equation defined by the User

Answers in C, Python, C++ or Javascript would be very much appreciated. I've read a few books, done all the examples. Now I'd like to write a simple program. But, I already ran into the following roadblock: My intention is to take an equation from…
user2388026
  • 145
  • 1
  • 6
1
2 3
…
99 100