GitHub repository: messlinger/cnfconv
Primary language: C
Created: 2016-10-14T18:47:51Z
Description: Canberra CNF to ASCII file conversion