packages feed

code-conjure-0.5.4: eg/fib01.out

fib01 :: Int -> Int -> Int -> Int
-- testing 8 combinations of argument values
-- pruning with 6/10 rules
-- looking through 4 candidates of size 1
-- looking through 24 candidates of size 2
-- looking through 241 candidates of size 3
-- looking through 1958 candidates of size 4
-- looking through 10540 candidates of size 5
-- tested 12767 candidates
cannot conjure

fib01 :: Int -> Int -> Int -> Int
-- testing 8 combinations of argument values
-- pruning with 18/37 rules
-- looking through 4 candidates of size 1
-- looking through 4 candidates of size 2
-- looking through 9 candidates of size 3
-- looking through 21 candidates of size 4
-- looking through 43 candidates of size 5
-- looking through 84 candidates of size 6
-- looking through 192 candidates of size 7
-- looking through 391 candidates of size 8
-- looking through 840 candidates of size 9
-- looking through 6414 candidates of size 10
-- tested 8002 candidates
cannot conjure