Toxaris/variational — Issue #9: DIMACS parser should support variable reorderings
Author: Toxaris
Created: 2011-11-23 14:21:06+00:00
State: open

The DIMACS parser should support variable reorderings. Maybe it could take an additional argument of type `Int => Int` to permute the variable numbers?