CHRSolver.hs
GossipingGirlsinCHR.hs
LICENSE
MergeSort.hs
README
Setup.hs
Stack.hs
documentation.txt
multisetrewrite.cabal
MultiSetRewrite