Rearrangement in preparation for use as benchmark
commit87931f66931c547eb26d6bf2dcd202fc829f9964
authorBenjamin Saunders <besaunde@sfu.ca>
dateWed 13 Nov 2013, 20:13 (13 years ago)
parentc63e830
EmptyTest.idrdeleted−14
@@ -1,14 +0,0 @@
1−module Main
2−
3−import Solver
4−
5−step : Nat -> IO ()
6−step n = do
7− putStrLn $
8− case fillBoard {n=n} emptyBoard Base of
9− Just xs => ("Solved " <+> show n <+> "^2:\n" <+> show (getWitness xs))
10− Nothing => ("Failed to solve " <+> show n <+> "^2")
11− step (S n)
12−
13−main : IO ()
14−main = step 0
ParseTest.idrdeleted−16
@@ -1,16 +0,0 @@
1−module Main
2−
3−import Parser
4−import System
5−
6−main : IO ()
7−main = do
8− args <- getArgs
9− case args of
10− [_, path] => do
11− putStrLn ("Reading " ++ path)
12− f <- readFile path
13− case parse f of
14− Left err => putStrLn err
15− Right (size ** (board ** _)) => putStrLn ("Got board:\n" ++ show board)
16− _ => putStrLn "Expected path"
Complete.idr → benchmarks/quasigroups/Main.idrrenamed
The content is the same.
Parser.idr → benchmarks/quasigroups/Parser.idrrenamed
The content is the same.
Solver.idr → benchmarks/quasigroups/Solver.idrrenamed
The content is the same.