]> matita.cs.unibo.it Git - fireball-separation.git/commit
Reviving last algorithm (before Summer 2017), conceptually easy but no measure yet
authoracondolu <andrea.condoluci@unibo.it>
Tue, 6 Mar 2018 17:33:27 +0000 (18:33 +0100)
committeracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 14:32:23 +0000 (16:32 +0200)
commit9217a9c086c873ed7b1697bf53380945d2f1792a
treeb4791acce4ac26c5b5ddd8bad958590a365964a2
parentdfcac7819cb61c55bf59e56f38f28be70fc95be7
Reviving last algorithm (before Summer 2017), conceptually easy but no measure yet
ocaml/Makefile
ocaml/andrea9.ml [new file with mode: 0644]