SAT Problem explained (in Spanish): Theory and algorithms of SAT
For its corresponding and correct execution in Windows, it is required to have installed the Microsoft Visual C ++ tools. This it is because the "ortools" solver depends on some of these libraries. Microsoft Visual C ++ 14.0 is required. Get it with "Microsoft Visual C ++ Build Tools": https://visualstudio.microsoft.com/downloads/ For more information, you can consult: https://developers.google.com/optimization/install/python
When running on Linux, if an error appears, it will be because the "tkinter" module is not installed, for its installation, simply go to the command line and execute: sudo apt-get install python-tk.
For a better understanding on how to execute the programs CLI and GUI, check the presentation slides 22-26.