Source

maze_solver /

Filename Size Date modified Message
sfp
67 B
312 B
1.1 KB
247 B
3.9 KB
3.9 KB
136 B
351 B
946 B
416 B
1.2 KB
Maze Solver Using Coq
=====================

## Requirement

- OCaml
- Coq

## Build

$ ./compile.sh

## Usage

$ ./run < input.txt

## References

- http://yosh.hateblo.jp/entry/20100119/p1
- http://okajima.air-nifty.com/b/2010/01/post-abc6.html