S
SageMath
Projects with this topic
-
Construction for any graph, a logical expression that describes the conditions under which the graph is 3-colourable using AWK
Updated -
This repository contains additional data to the SageMath trac ticket #30352.
Updated