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

10 Commits

Author SHA1 Message Date
2754c45bb7
Use unoptimised hybrid step for better presentation 2022-09-06 11:16:57 +02:00
monsterkrampe
4ec6d5cc39
Support more options and multiple models 2022-09-02 15:03:07 +02:00
monsterkrampe
d3b5039131
Fix code formatting 2022-09-02 12:01:35 +02:00
monsterkrampe
af9bc2855e
Support stable model semantics with nogoods 2022-09-02 11:45:52 +02:00
monsterkrampe
65b751150f
Support multiple solving strategies 2022-09-02 08:22:15 +02:00
monsterkrampe
c89743a051
Serve static files from './assets' directory 2022-09-02 08:22:15 +02:00
monsterkrampe
282a7af274
Introduce features flag for localhost cors support 2022-09-02 08:22:15 +02:00
monsterkrampe
e9f692a4cd
Continue implementing basic solving endpoint 2022-09-02 08:22:15 +02:00
monsterkrampe
f178084c16
Start implementing endpoint to solve ADF on demand 2022-09-02 08:22:14 +02:00
monsterkrampe
beedc9c90c
Introduce separate server package 2022-09-02 08:22:14 +02:00