Optimize your diet via SMT (read more on https://dennisgross.org/optimize-your-diet-via-smt).
- Install pandas via pip3
- Install pysmt via pip3
- pysmt-install --z3
- Add dishes to dishes.csv
- In calculator.py set the number of calories and the number of dishes for today
- python3 calculator.py NUMBER_OF_CALORIES NUMBER_OF_DISHES