GitHub repository: satproject/formula_convert
Primary language: Python
Created: 2019-11-08T10:21:19Z
Description: from 2CNF to qubo