git.iko.soy/Idris-dev
on master help sign in
Rearrangement in preparation for use as benchmark
87931f6Benjamin Saunders
EmptyTest.idrdeleted−14
compare with master
unifiedsplit
@@ -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.