SAT solvers
Aggregazione dei criteri
IPYNB
Per visualizzare il file, fai click su questo link: Intro2AI_SAT_demo_PRACTICE_with_gaps.ipynb