lemon/bits/solver_bits.h
changeset 516 dab9e610e37d
child 519 c786cd201266