Searched refs:order_unassigned (Results 1 - 1 of 1) sorted by relevance
| /pkg/src/modules/solver/ | ||
| H A D | solver.c | 157 static inline void order_unassigned(solver* s, int v) // undoorder function 464 order_unassigned(s,lit_var(trail[c])); |
Completed in 45 milliseconds