Interactive Meta-Solver Architecture

ProvideQ / toolbox-server

Resources for the server that hosts the toolbox (Backend)

https://provideq.kit.edu

MIT License

1 stars 1 forks source link

Open koalamitice opened 7 months ago

koalamitice commented 7 months ago

Issue for the Graph-based, interactive Meta Solver Strategies. Lets user select a solution path interactively.

Some requirements:

Elscrux commented 4 months ago

Implementation in #69