GitHub repository: shnarazk/CNFIO
Primary language: Haskell
Description: CNF reader for Haskell