Create GurobiREADME.md

Added Gurobi readme

GurobiREADME.md

@@ -0,0 +1,9 @@
+The DomiKnowS library is integrated with the ILP solver [Gurobi](https://www.gurobi.com/). The library provides necessary capability to find solutions for logical constraints encoded as an ILP model.
+
+The [requirements](https://github.com/HLR/DomiKnowS/blob/main/requirements.txt) file for the library includes the Gurobi Python package [gurobipy](https://pypi.org/project/gurobipy/).
+This package comes with a trial license that allows solving problems of limited size. 
+As a student or staff member of an academic institution, you qualify for a free, full product license. For more information, see:
+
+- [https://www.gurobi.com/academia/academic-program-and-licenses/](https://www.gurobi.com/academia/academic-program-and-licenses/)
+
+For a commercial evaluation, you can request an evaluation license.