Closed SaTahernejad closed 7 years ago
All the commits up until 61f0c97 are the same as those in #33. There is only a small conflict, which could easily be resolved, but I guess that it's still better to branch from current master and cherry pick the two new commits.
@SaTahernejad can you make a new pull request with just the last two commits?
Sure.
The version which allows the names for variables and constraints.