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
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