Glucose 4.1

This release was built with x86_64-w64-mingw32-g++ (GCC) 9.3-win32 20200320.

Changelog

• Few changes in the source code for Windows support.

Official release notes for Glucose 4.1

• Adaptative strategies (activated by default). See SAT 2016 paper.