Improve Defaults of JuMP.is_binary, JuMP.is_integer, and JuMP.is_fixed
#76
| Job | Run time |
|---|---|
| 9s | |
| 9s |
JuMP.is_binary, JuMP.is_integer, and JuMP.is_fixed
#76
| Job | Run time |
|---|---|
| 9s | |
| 9s |