GitHub repository: Helium4Haskell/Top
Primary language: Haskell
Created: 2017-09-15T13:01:46Z
Description: The Top constraint solving framework