Let $m$ be an even integer greater than $8$. Is there any software I can use to determine for some small $m$ whether the following constraints on $t_0,\ldots,t_{m-1}$ and $w$ have solutions? \begin{cases} &-\pi\leq t_r\leq\pi,\ r=0,\ldots,m-1,\\ &0
software for numerical constraint satisfaction problems
0
$\begingroup$
math-software
satisfiability
-
0Invariably, more information lead to a better solution... – 2012-07-20