../ main/ 25-Dec-2021 13:26 - tests/ 25-Dec-2021 13:26 - HackageBenchmark.hs 15-Sep-2021 15:27 14549 LICENSE 06-Jul-2021 09:42 1661 README.md 06-Jul-2021 09:28 765 solver-benchmarks.cabal 15-Sep-2021 15:27 1565