I tried to solve this problem using SAT solver after reading this : https://blog.mathieuacher.com/ProgrammingChessPuzzles/
The goal is to place 4 queens and 1 bishop on a 8x8 chess board so that all cells are covered.
To run this notebook you need :
pip install jupyter python-sat python-chess