Description

Contest can work in main branch with USVM symbolic engine without any hacks with tokens, just getting artifacts from jitpack after open-sourcing usvm.

How to test

Manual tests

Verify that a project can be built on a local machine.

Self-check list

• I've set the proper labels for my PR (at least, for category and component).
• PR title and description are clear and intelligible.
• I've added enough comments to my code, particularly in hard-to-understand areas.
• The functionality I've repaired, changed or added is covered with automated tests.
• Manual tests have been provided optionally.
• The documentation for the functionality I've been working on is up-to-date.