/nutrition_calculator

Optimize diet via SMT

Primary LanguagePython

nutrition_calculator

Optimize your diet via SMT (read more on https://dennisgross.org/optimize-your-diet-via-smt).

Setup

  1. Install pandas via pip3
  2. Install pysmt via pip3
  3. pysmt-install --z3

Run Script

  1. Add dishes to dishes.csv
  2. In calculator.py set the number of calories and the number of dishes for today
  3. python3 calculator.py NUMBER_OF_CALORIES NUMBER_OF_DISHES