tree c2c23961456e58b1202140c6b9ebfebe5490d58f
parent 30b4d5df354ee2fc286b936a948a322b66aff9c5
author Sameer Agarwal <sameeragarwal@google.com> 1652992079 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1652994633 +0000

Remove Solver::Options::use_postordering

This was an ill-advised and complicated to interpret option
which offers nothing particularly useful.

Change-Id: Ia7741ed62ef977c96fa52299a884e404bee659ac