lssndrbarbieri@gmail.com Alessandro Barbieri https://github.com/niklasso/minisatp/issues niklasso/minisatp