# 正规365体育投注 You’ve been asking for dark mode for years.
The is finally here.

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

1,156 questions
Filter by
Sorted by
Tagged with
5 views

### declaration of decision variables and it's associated constraint using the fico xpress solver python interface

DV = Z_{k1k2}^ j is either 0/1 equal to 1 if k1 and k2 are executed in sequence by j and 0 otherwise. constr = sum_{k_1 \in K'}Z_{k1k2}^j =Y_{k_2} forall{k_2 \in K} forall{j \in J} i ...
8 views

### Gurobi in Pulp. How to export MIP gap as output on a new variable?

I am currently tryong to solve a linear problem using pulp and Gurobi. I have defined my problem through pulp and and am using Gurobi as a solver. I wish to save the MIP gap at the end of the solution ...
22 views

### Logic equivalence of sub-signals of logically equivalent signals

I have two logic output which I know are logically equivalent (proven using SAT solvers). Now I choose same bits from both signals. Can I say since the complete signals are equivalent then sub-signals ...
8 views

### Type code in tensorflow …but this line of code giving me a error I don't know why [closed]

This line is code giving me value error: _,batch_loss=sess.run([optimize.mean_loss],feed_dict={inputs: input_batch, targets: target_batch})
91 views

### solving an exponential equation in Raku

I'm trying to solve this exponential equation like this: my ($l,$r); for (1 .. 100) -> $x {$l = $x * e **$x; $r = 5 * (e **$x - 1); say $x if$l == \$r; } But it doesn't work. ...
42 views

### Z3 Solver Java API: Unexpected behaviour

By adding conditions to the solver, I want to check with "solver.check()", whether there exists a solution or not. Therefore, I created a simple example to find a solution for t1. I know that there is ...
28 views

### How i can get sum of variables in choco solver

I have IntVar[] orArea = new IntVar[N]; IntVar[] orCount = new IntVar[N]; IntVar[] orRows = new IntVar[N]; IntVar total_trim = model.intVar("trim", 0, 1000); for (int i = 0; i < N; i++) { ...
14 views

### Is there a way to compute the solution to this dynamic equation? (Python or Matlab)

I've been trying to solve a three-stage dynamic problem in Python. The problem can be solved via backward induction, but none of the modules I've found (eg Sympy's solveset) allows me to plug in the ...
17 views

### Python: How to solve for multiple x values that give the same nonzero output?

I am working with a curve with two parameters (α,β), in addition to the independent (x between 0 and 1) and dependent (y) variables. I have a function which takes a value for the independent variable ...
19 views

### How can I create loop in excel using solver?

enter image description here I want to find t11, t12 and l for each row by using solver. My set objective value is "maximize utility" in each row and changing variable are t11, t12 and l and ...
11 views

### Log Solutions with Excels Evolutionary Solver

I'm trying to find a top 10 optimal solutions for my model. When using Excels Evolutionary Solver I can find one optimal solution. However, I can't find a way to keep track of what solutions have been ...
33 views

### How to determine optimal value in R - Optimization problem

I have below data frame that show sales (in unit) for 4 products for Q1. Each product has a maximum growth rate for Q2 and cost per hundred extra units. Given a budget of 40000, what is the optimal ...
8 views

### Auto-schedule solutions using Excel or Python solver

In a certain Week, specific Units (W, U, and S) are available to visit on specific dates. Unit W is available for the whole working week (Monday - Friday), Unit U is only available on Monday and ...