1
0
mirror of https://github.com/ellmau/adf-obdd.git synced 2025-12-20 09:39:38 +01:00

21 Commits

Author SHA1 Message Date
monsterkrampe
2bec9c49bf
Fix link color in footer 2023-04-20 09:12:13 +02:00
monsterkrampe
3ffd0a2aae
Add project logos to frontend 2023-04-19 09:37:08 +02:00
monsterkrampe
b90f68ac25
Update legal information regarding cookies 2023-04-18 17:42:59 +02:00
monsterkrampe
20cd5d3f06
Change G6 Graph layout slightly 2023-04-18 11:42:40 +02:00
monsterkrampe
927f7b26ea
Add legal information page to frontend 2023-04-18 08:52:05 +02:00
monsterkrampe
21203f7ae8
Add Detail View for ADF problems 2023-04-14 14:19:47 +02:00
monsterkrampe
a965f75e4b
Implement ADF Add Form and Overview 2023-04-14 09:03:01 +02:00
monsterkrampe
da8e79147b
Show colored snackbars 2023-04-03 18:48:16 +02:00
monsterkrampe
257bd5cdfc
Add basic UI for user endpoints 2023-04-03 17:33:48 +02:00
monsterkrampe
d0d7c2a712
Animate graph changes 2023-03-24 13:22:59 +01:00
monsterkrampe
441b72927d
Upgrade frontend dependencies 2023-03-24 13:22:59 +01:00
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