Andrew V. Teylu
Andrew V. Teylu
@bemcdonnell this should be fixed in [PR5](https://github.com/michaelbrooks/rq-win/pull/5).
@kc1 I just opened-up [PR5](https://github.com/michaelbrooks/rq-win/pull/5), which hopefully might resolve this for you (at least, I had very similar issues as you were facing, and things now work for me)!
I assume you're referring to over the Python API and not (e.g.,) the STP binary? My guess (and I haven't checked): `c.value` is a long and we need some arbitrary...
Okay, so "behind the scenes", this ends-up using `getBVUnsignedLongLong` (which gives a `c_uint64`), which is the cause of the issue. As I mentioned, would a string be okay for this?
Thanks for the report; we'll take a look. @msoos: is CaDiCaL now a required dependency for CMS? I'm just surprised that to build a SAT solver it seems you now...
> and I will improve it, but... not now. Don't know what to do. Sorry. No stress :) We can update the docs/scripts for STP to pull down those deps.
> @aytey would love help on this. Unsure why CI is failing. This was the minimal set of changes to get it to work on my side, but I'm sure...
I just approved the CI for gcc/clang -- sorry for not doing that sooner.
> #1086 fixes the problem. Yep, I just had this failure and rebasing (and then building) `update-grammars` from @alexle0nte built and all tests passed.
**tl;dr**: if you want to see a reproducer for this problem, go here: https://godbolt.org/z/rcr8W7 I'm experiencing this exact issue with OpenSUSE Tumbleweed (20210223) using GCC 10.2.1. Given how "easy" it...