Ekdohibs
/
why3-toposort
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
6 Commits
1 Branch
0 Tags
515 KiB
TeX 99.3%
Makefile 0.7%
 
 
Go to file
Ekdohibs 1e7e5f4aa6 Add license and readme 2018-11-06 12:16:32 +01:00
report Add comment on nodes having a predecessor 2018-11-06 12:08:09 +01:00
topo Replay why3. 2018-02-18 15:28:52 +01:00
LICENSE Add license and readme 2018-11-06 12:16:32 +01:00
README.md Add license and readme 2018-11-06 12:16:32 +01:00
topo.mlw Add report, cleanup code 2018-02-18 15:25:29 +01:00

README.md

This project is the one requested for the MPRI course "Proof of programs" (MPRI 2.36.1).

--

It contains an implementation, using Why3, of topological sorting. The task description can be found here (mirror).