clyngor
clyngor copied to clipboard
clyngor: when using clingo module, stderr is dumped to stdout
Example:
import clyngor
clyngor.use_clingo_module()
for m in clyngor.solve(inline='b(X):- c(X).'):
print(m)