changed README

README.md

@@ -1,6 +1,18 @@
 Clingcon extends the possibilities of Clingo by (mostly linear) constraints over Integers.
 For the syntax of constraint logic programs please see the examples folder.
 Use the theory language description file csp.lp to enable constraint parsing.
+
+Features:
+
+ * based on clingo 5.x and libcsp 1.x
+ * lazy nogood generation based on the order encoding
+ * lazy variable generation allows for huge domains
+ * supports multi-shot solving
+ * supports optimization
+ * no blackbox csp libraries used
+ * uses gringo-5.x theory language interface, please include "csp.lp"
+ * use --help=2 to find specific options for constraint solving 
+
 Call clingcon --help=2 for further options on constraint processing.
 Please consult the following resources for further information: