Actions
Feature #10465
closedUpdate Klever tutorial
Start date:
08/17/2020
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
After numerous changes that already were implemented and that will be implemented soon, we need to update the Klever tutorial.
Updated by Evgeny Novikov over 4 years ago
- Blocked by Feature #10460: Get rid of unclear parentheses when representing Safes, Unsafes and Unknowns added
Updated by Evgeny Novikov over 4 years ago
- Blocks Feature #8494: Process extended format of violation witnesses added
Updated by Evgeny Novikov about 4 years ago
- Related to Feature #8119: Develop preset tags added
Updated by Evgeny Novikov about 4 years ago
- Blocks deleted (Feature #8494: Process extended format of violation witnesses)
Updated by Evgeny Novikov about 4 years ago
- Blocked by Feature #8494: Process extended format of violation witnesses added
Updated by Evgeny Novikov about 4 years ago
- Related to deleted (Feature #8119: Develop preset tags)
Updated by Evgeny Novikov about 4 years ago
- Blocked by Feature #8119: Develop preset tags added
Updated by Evgeny Novikov almost 4 years ago
- Status changed from New to Closed
I updated the tutorial in branch fix-tutorial that I merged to master in a9156744f. The updated tutorial is already available at https://klever.readthedocs.io/en/latest/tutorial.html.
Actions