]> matita.cs.unibo.it Git - fireball-separation.git/commit
projects / fireball-separation.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba03d11) | patch
Added problem wrongly backtracking
authoracondolu <andrea.condoluci@unibo.it>
Sat, 15 Jul 2017 15:16:51 +0000 (17:16 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Mon, 28 May 2018 09:09:02 +0000 (11:09 +0200)
commit39ebd9f3ad03d165e6aa7431f27d9bcd945e206f
tree803933483cc0823ecf8cf6ce81b6d3a9bca11982tree | snapshot
parentba03d11a1e37c7ec6f5543be2139322d7589d2cbcommit | diff
Added problem wrongly backtracking

(cherry picked from commit a34071ed728b8de44b198de4e73a52207557ed81)
ocaml/problems/w diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.