GitHub repository: nagoya-mulab/CNFreader
Primary language: Python
Description: Read and convert CNF file from Genie2000 software