GitHub repository: Amoenus/jc-solver
Primary language: Haskell
Description: Automatically exported from code.google.com/p/jc-solver