clyngor icon indicating copy to clipboard operation
clyngor copied to clipboard

clyngor: when using clingo module, stderr is dumped to stdout

Open Aluriak opened this issue 2 years ago • 0 comments

Example:


import clyngor
clyngor.use_clingo_module()
for m in clyngor.solve(inline='b(X):- c(X).'):
    print(m)

Aluriak avatar Mar 18 '22 19:03 Aluriak