Peter Chapman comments

Repositories
Issues
Comments

Results 2 comments of


                                            Peter Chapman

Is there a fork of this library that is maintained elsewhere?

While not at all mature and not really the same thing, there's also [PyExZ3](https://github.com/thomasjball/PyExZ3). I have my [own fork](https://github.com/GroundPound/PyExZ3) of that too, though I don't work on it anymore. See...

[Feature Request] Add support for strings via Z3-str2

You might want to checkout my [fork](https://github.com/GroundPound/PyExZ3). It [supports](https://github.com/GroundPound/PyExZ3/blob/master/pyexz3.py#L32-L39) a number of different string solvers.