11 Commits

Author	SHA1	Message	Date
monsterkrampe	441b72927d	Upgrade frontend dependencies	2023-03-24 13:22:59 +01:00
Stefan Ellmauthaler	5d3814cbc0	Use standard example for adfs on the frontend	2023-03-24 13:22:58 +01:00
monsterkrampe	783cdec878	Support more options and multiple models	2023-03-24 13:22:58 +01:00
monsterkrampe	3f3659a98f	Fix code formatting	2023-03-24 13:22:58 +01:00
monsterkrampe	b8038dccfa	Introduce custom node type for nicer layout	2023-03-24 13:22:58 +01:00
monsterkrampe	9ab4ff3de4	Support stable model semantics with nogoods	2023-03-24 13:22:58 +01:00
monsterkrampe	f27502784a	Support multiple solving strategies	2023-03-24 13:22:58 +01:00
monsterkrampe	86122357a6	Make fetch endpoint depend on environment	2023-03-24 13:22:57 +01:00
monsterkrampe	dbde6b86f4	Finish basic visualization of solve response	2023-03-24 13:22:57 +01:00
monsterkrampe	f796337839	Build basic ui with mui	2023-03-24 13:22:57 +01:00
monsterkrampe	c8cf116aaf	Experiment with basic graph visualization	2023-03-24 13:19:02 +01:00