clyngor
clyngor copied to clipboard
Aluriak
Handy python wrapper around Potassco's Clingo ASP solver.
Related to #32, I was playing around with `clyngor` a little bit more, and noticed that when a problem resolution times out, it actually generates some stats (if grounding took...
Example: ``` import clyngor clyngor.use_clingo_module() for m in clyngor.solve(inline='b(X):- c(X).'): print(m) ```
Hello, I tried running your example use for clyngor and it raised this error. Its weird since if I try to use clingo python API example it also raises an...
As shown [here](https://github.com/Aluriak/clyngor/issues/22#issuecomment-578968899), statistics access is different whether clyngor is using clingo module or just parsing its output. This is due to the fact that using the clingo module, clyngor...
Careful parsing should be the default choice in 0.4.0 In 0.3.x though, it could be activated if: - there is nested parenthesis (i.e. `(` is followed by a `(`, not...
Allowing to call program with `CLINGO_PATH=./clingo python script-that-uses-clyngor.py`
Hello, I have an issue while using Clyngor to encapsulate ASP files (which also use python implementation). The python implementation in ASP is used to select some atoms in the...
