eseidel / saycbridge

A bidding practice bot as seen at saycbridge.com and the Android Play Store
BSD 3-Clause "New" or "Revised" License
31 stars 13 forks source link

Stop leaking one z3.SolverObj per Hand. #34

Closed eseidel closed 8 years ago

eseidel commented 8 years ago

This was phenomenal amounts of memory.

I'm sure this is not nearly all our leaks.

@abortz @abarth