summaryrefslogtreecommitdiff
path: root/hsolve
ModeNameSize
-rw-r--r--.gitignore73logplain
-rw-r--r--FSu.hs4712logplain
-rw-r--r--Main.hs16958logplain
-rw-r--r--hsolve.cabal441logplain
-rw-r--r--stack.yaml2167logplain
-rwxr-xr-xverify.sh94logplain