Piotr Cybulski

Results 2 issues of Piotr Cybulski

Not all paths a found and some are listed multiple times

Before going into example I just want to emphesize that I have tinkered with the current code base to run it against the newest version of z3 (4.12.2) and python...

zsolve does not find a solution to linear system with a single lattice point

Below is an example of a linear system that I know has a single solution but for some reason `zsolve` can't find it. At some point I have began to...