This is a binary release of glucose-syrup v4.0 for Win-x64 systems. It was
built with MSVC 2012.

glucose and glucose-syrup are produced by Gilles Audemard and Laurent Simon
glucose is dervived from minisat which is produced by Niklas Een and Niklas Sorensson
glucose-syrup is available from https://www.labri.fr/perso/lsimon/glucose/
Please see glucose.LICENSE for copyright and licensing information.

The winpthreads library is produced by the mingw-x64 team
winpthreads is available from https://sourceforge.net/p/mingw-w64/mingw-w64/ci/master/tree/mingw-w64-libraries/winpthreads/
Please see winpthreads.COPYING for copyright and licensing information.
