Open Edelweiss opened 6 years ago
Also…
Matching TM nos in DCLP and DDB https://docs.google.com/spreadsheets/d/1BKufrr8tV6eA22296p5K0OXcnSXEAZC8iabncaRfLro/edit#gid=601739276
https://github.com/DCLP/sosol/tree/issue356 (in development and in master)
can now be tested on http://dclp-test.zaw.uni-heidelberg.de/editor
can also be tested on production