GitHub repository: sdiehl/picologic
Primary language: Haskell
Description: Logic expressions for PicoSAT solver