Searched refs:DEF_MATRIX_NUM_ROWS (Results 1 – 2 of 2) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/solvers/simplex/ | ||
| H A D | matrices.h | 199 #define DEF_MATRIX_NUM_ROWS 100 macro |
| H A D | matrices.c | 309 if (n == 0) n = DEF_MATRIX_NUM_ROWS; in init_matrix() |