Searched defs:binary (Results 1 - 1 of 1) sorted by relevance

/pkg/src/modules/solver/
H A Dsolver.h123 clause* binary; // A temporary binary clause member in struct:solver_t

Completed in 11 milliseconds