GitHub repository: ArthurNieh/DQBF_Graph_Coloring
Primary language: Python
Created: 2024-11-12T07:38:02Z
Description: project for solving graph coloring problem using state-of-the-art DQBF solver