Gustavo Goretkin

I think that's a pretty decent solution. I think, at least under some namespace, the Julia bindings should be kept as consistent as possible with the Z3 API, so that...

In particular, I have a question about how to access the assignment to e.g. `x` without referring to "x", and without using `get_numeral_int`, since I would the code to be...

Yup, that fixes it for me! Thanks for taking a look at it! I tried to learn a bit more about `CxxWrap.jl`to see if this is expected behavior, or to...

It seems this segfault is caused by https://github.com/JuliaInterop/CxxWrap.jl/issues/256

I believe this is closed by https://github.com/JuliaCollections/IterTools.jl/pull/77 .

> A static implementation still worthwhile to have somewhere, right? Do you mean something that doesn't rely on constant propagation for the `step` field? If the `::Int` is relaxed, then...

I'm in favor of keeping the current behavior of `IterTools.partition`, perhaps under a different name, to avoid confusion with `Base`. For example, implementing `Base.diff`, but for an iterable `it` instead...

Oh, good. That's an important use too. `Base.Iterators.partition` returns views into the array, instead of copies, now. Does that fit the audio chunking need?

My workaround for now: ```julia using LazySets: UnionSetArray, LineSegment, BallInf, CartesianProduct using ReachabilityAnalysis using Plots # https://github.com/JuliaReach/ReachabilityAnalysis.jl/issues/464 using LazySets: ConvexHull, concretize, Zonotope concretize_skip(s::LazySets.ConvexHull) = ConvexHull(concretize(s.X), concretize(s.Y)) concretize_skip(s) = s ReachabilityAnalysis._apply_setops(X::LazySet,...

> The reason that `GLGM06` returns a box is that the algorithm ([here](https://github.com/JuliaReach/ReachabilityAnalysis.jl/blob/master/src/Algorithms/GLGM06/post.jl#L38)) is not smart enough to realize that the set after the conservative time discretization is indeed a...