Results 5 issues of Stasia Grinberg

as per the title, i get wrong attractors with any constants in the network. consider two simple networks, L and N, respectively: ``` x *= 1 y *= x z...

hello, i found some bad behaviour. adding constants seem to be breaking `state_transition_graph` function and making attractor calculating functions to run ad infimum. additionally, i noticed that adding constants by...

bug

hello, here is a simple example to illustrate my question: p1.lp consists of ``0 {a} 1.`` Calling "clingo --text p1.lp" gives ``#delayed(1). #delayed(1) #count{0,a:a}`` -------------------------------------------------- p2.lp consists of {a}. Calling...

enhancement
question

hello, as the titles says, sopaper fails to download papers ![image](https://github.com/ppwwyyxx/SoPaper/assets/7136540/fedc750d-6597-442a-bbce-0daa0cd382b1) unfortunately, the error message does not give further specifics. it apparently fails to find it: ``` (sopaper) nfg@NI-CA-107962:~$ sopaper...

hi, so i have a huge algorithm that has cana at its core but recently had to re-create my conda environment for this project and hence installed a newer version...