Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in solver
Find the x that gives a specific value of a function
Jun 07, 2026
r
function
solver
uniroot
Result from function call is not a proper array of floats. fsolve
Jun 03, 2026
python
arrays
solver
Is it possible to detect inconsistent equations in Z3, or before passing to Z3?
Jun 01, 2026
z3
solver
smt
divide-by-zero
Left matrix divide with vectors
May 31, 2026
matlab
matrix
vector
solver
backslash
Calling Excel macros/Excel Solver from Python over com
May 20, 2026
python
excel
com
win32com
solver
Generating multiple optimal solutions using Excel solver
May 20, 2026
excel
optimization
solver
vba
How can I force r optim to run more iterations?
May 18, 2026
r
optimization
iteration
solver
convergence
Algorithm for solving Whack-A-Mole
May 17, 2026
algorithm
solver
Why does Z3 say that this equation is not satisfiable, when I have input that is correct?
May 18, 2026
math
z3
xor
solver
smt
Designing a symbolic equation solver [closed]
May 11, 2026
java
equation
solver
symbolic-math
Polynomial inverse
May 05, 2026
algorithm
math
solver
inverse
Using a CP sat solver, I want to use 2 conditions in an "OnlyEnforceIf" but can't find how
May 01, 2026
python
solver
or-tools
cp-sat
Solving equations in R similar to the Excel solver parameters function
Apr 17, 2026
r
excel
function
solver
VBA Solver Compile Error: Sub or Function not defined
Mar 30, 2026
excel
vba
reference
compiler-errors
solver
Matlab: How to apply low-pass filter on tf-system for faster evaluation in simulink
Mar 26, 2026
matlab
filtering
simulink
solver
frequency-analysis
VBA Solver disabling the dialog box that pops after each iteration
Mar 26, 2026
excel
excel-2007
solver
vba
How to delete all constraints from solver in Excel?
Mar 20, 2026
excel
vba
solver
Z3: Complex numbers?
Mar 19, 2026
z3
solver
z3py
theorem-proving
first-order-logic
Older Entries »