You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Would you be open to a pull request implementing an algorithm for chromatic number and another for fractional chromatic number? The former uses PicoSAT and the latter would use some linear programming solver, perhaps GLPK via JuMP. The chromatic number implementation is here, if you want to take a quick peek: https://gist.github.com/dstahlke/8e4fd40fa845e792ff7cd3f6b4ccb124
The text was updated successfully, but these errors were encountered:
Would you be open to a pull request implementing an algorithm for chromatic number and another for fractional chromatic number? The former uses PicoSAT and the latter would use some linear programming solver, perhaps GLPK via JuMP. The chromatic number implementation is here, if you want to take a quick peek: https://gist.github.com/dstahlke/8e4fd40fa845e792ff7cd3f6b4ccb124
The text was updated successfully, but these errors were encountered: