4 commits

Author	SHA1	Message	Date
Max Howell	81e7a5e16f	pkgx	2023-10-01 14:44:42 -04:00
Jacob Heider	fe950699b8	fix(z3)	2023-04-18 23:38:11 -04:00
Max Howell	d619c00c39	In fact z3 needs python during build ... It’s worrying that the CI/CD builds found python even though we weren't specifying it @jheider	2023-03-17 15:14:30 -04:00
Max Howell	fdbb7f18cf	+z3 ... Closes #518	2023-03-17 15:01:48 -04:00