Brad Downey
Brad Downey
@tpaviot not always, I'm using the duration of delta = week and assigning some tasks to be 1, some 2, some 3. Another thing I found was that with an...
Additionally when multi optimization is used the timeout is not respected. It will run until a solution is found to the process is killed.
If you are interested I pulled out some of the identifying information and opened up the project at https://gitlab.com/bdowney/digital-transformation-schedule
> ```python > logics="QF_IDL" > ``` `z3.z3types.Z3Exception: b'Benchmark is not in QF_IDL (integer difference logic).'` I'm getting this error, where I didn't previously. How can I debug this?
I do but it’s the snapshots that get uploaded if I’m not mistaken. There is only one quality setting and I would like to retain higher images. On Jan 31,...
This would help a lot. Is there a maintainer that can review this?
This is working for me. Smart Alerts is not working (Human, etc) but button press is working great.
I posted above that mine is working but I’m noticing that after some time I stop getting notifications. Rebooting the camera fixes it. I’m not sure if this is the...