index.md

LTB support for Leo-III Docs

• Problem Definition
• Prove Context
• Prove Scheduler
• Executable Shorthands

Example

[leo3ltb]$ cd example4
[example1]$ ./run_ltb

View the logs:

[example1]$ cat Log~/batch.log

Get all problem variant outputs:

[example1]$ cd Log~

Get final outputs:

[example1]$ cd Output~

And a Scheduler runtime profile in Log~/profile.png: