why3realize man page

why3realize — produce a realization of a Why3 theory


why3realize [Options] <THEORY>


Produce a realization of a Why3 theory.


-L, --library <dir>
Add dir to the library search path.
-help, --help
Show a list of options.

See Also

why3(1), why3-cpulimit(1), why3bench(1), why3config(1), why3doc(1), why3ide(1), why3ml(1), why3replayer(1)

Referenced By

why3(1), why3bench(1), why3config(1), why3-cpulimit(1), why3doc(1), why3ide(1), why3ml(1), why3replayer(1).

Explore man page connections for why3realize(1).

why3 0.87.2