GitHub repository: rmrfslashbin/guess-the-weight-gtk
Primary language: Python
Created: 2020-04-24T22:06:50Z
Description: Z3 PoC to calculate required weight plates with a GTK interface