s/dimacs.Error/Error/
s/boolexpr.Error/Error/
Rearrange some import ordering