GitHub repository: rafa-hub/converter
Primary language: C++
Created: 2017-10-10T10:21:17Z
Description: Convierte un fichero de reglas extensionales XCSP3 en un grafo y encuentra el máximo Cliqué de este grafo