1WHY3REALIZE(1)                   User Commands                  WHY3REALIZE(1)
2
3
4

NAME

6       why3realize - produce a realization of a Why3 theory
7

SYNOPSIS

9       why3realize [OPTIONS] <THEORY>
10

DESCRIPTION

12       Produce a realization of a Why3 theory.
13

OPTIONS

15       -L, --library <dir>
16              Add dir to the library search path.
17
18       -help, --help
19              Show a list of options.
20

SEE ALSO

22       why3(1),  why3-cpulimit(1),  why3bench(1),  why3config(1),  why3doc(1),
23       why3ide(1), why3ml(1), why3replayer(1)
24
25
26
27why3                                 1.3.3                      WHY3REALIZE(1)