Edit
Boolean Variable Ordering optimizations
Edits
Bug fix for removing must edges...They also need to update constraints
Fix tabbing
Merge
Remove unimplemented enum
Extend tuning framework
completed serializer/deserializer
BooleanOrder (de)serialization works ...
scratch of (de)serializing
Forgot file