Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
examples
sudoku
why3session.xml
Find file
Blame
History
Permalink
extraction: no more OCaml code for map.Map
· 9e21c93b
Jean-Christophe Filliâtre
authored
Mar 06, 2014
sudoku example now uses arrays only
9e21c93b