[Feature] Queries should list engine options
Open
enhancement
- Dominant language
- TypeScript
- Stars
- 2
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
### Description
When engines are implemented, queries should list the engines instead of just J-Ecdar and Reveaal. It was temporarily made like that because engines were not implemented.
### Reason For Request
Because that is how it works.
Contributor guide
Assessment
This issue has not been assessed yet.