Readable FS constraint in output

[benozol]

The symbolic interpreter currently uses the dot printer to output the filesystem constraint. The dot print is of course nice in colis-batch but neither human-readable nor easily compilable by dot in the interpreter output. Could we instead use simple textual printer here? Maybe by first printing the filesystem hierarchies and then other constraints:

filesystem:
  /r1/a/b[absent]
  /r2/a/b[reg]
  /r1 ={a/b} /r2

[Niols]

I am actually in the process of rewriting the constraint solver. And its printers. This one looks a bit difficult to write, but should be feasible. — Niols Le 18 juillet 2019 11:12:03 GMT+02:00, Benedikt Becker <[email protected]> a écrit :

…

The symbolic interpreter currently uses the dot printer to output the filesystem constraint. The dot print is of course nice in colis-batch but neither human-readable nor easily compilable by dot in the interpreter output. Could we instead use simple textual printer here? Maybe by first printing the filesystem hierarchies and then other constraints: ```yaml filesystem: /r1/a/b[absent] /r2/a/b[reg] /r1 ={a/b} /r2 ```