Searched defs:trail_lim (Results 1 - 1 of 1) sorted by relevance
| /pkg/src/modules/solver/ | ||
| H A D | solver.h | 129 veci trail_lim; // Separator indices for different decision levels in 'trail'. (contains: int) member in struct:solver_t |
Completed in 6 milliseconds