Given a day intake as a list of products and calories in the fat, protein and carbs parts, check constraints about the consume, such as 
	* FullFat, 100% fat
	* FullProtein,
	* FullCarbs,
	* Well-balanced, 55% carbs, 20% protein, 25% fat. ("In general, most adults should target their diets to comprise of 45-65% Carbohydrates, 10-35% Protein and 20-35% Fat." - in calories)
	* LowerCarb, 45% carbs, 25% protein, 30% fat, and
	* LowerCarb&Fat, 45% carbs, 30% protein and 25% fat
for the last 3 see 
https://blog.myfitnesspal.com/wp-content/uploads/2020/04/UACF-Carb-Protein-Fat-Breakdown-Chart.jpg

	* TotalAmount, which always holds


Reasoning task:
for all the constraints t in {TotalAmount, FullCarbs, FullFat, FullProtein, LowerCarb, LowerCarb&Fat and Well-balanced} above decide whether MyDayDiet implies t. 

Note 1. MyDayDiet always implies TotalAmount
Note 2. There are partial constraints like Carbs45, Carbs55, Fat25, Fat30, Protein20, Protein25, Protein30 (in %) for which we can decide if MyDayDiet implies any of them:
	* if Well-balanced then Carbs55, Protein20 and Fat25 are also satisfied,
	* if LowerCarb then Carbs45, Protein25 and Fat30 hold,
	* if LowerCarb&Fat then Carbs45, Protein30 and Fat25 hold.

====

The program gen.py generates an .owl file, a linear constraints (cd1) file and a .scala file for testing. 

Input for the generator: n, the number of products for one day intake. The generator randomly assigns product calories of carbs, protein and fat. 

Example run:
python3 gen.py 3 {-diet fc} {-name example}

It will generate three files, "example.owl", "example.scala" and "example.txt", which describe a day intake with 3 random products of random weights according to the FullCarbs diet. If -name is not specified, default names are "diet3.txt" and "diet3.owl".

There is a possibility to give an additional parameter with the keyword -diet such that one of the constraints {fc,ff,fp,lc,lcf,wb} ({FullCarbs, FullFat, FullProtein, LowerCarb, LowerCarb&Fat and Well-balanced}) is satisfied over the generated day intake.
