update changes

potassco · Oct 14, 2016 · 472ada9 · 472ada9
1 parent 761851e
commit 472ada9
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,3 +1,9 @@
+clingo 5.1.0
+  * update to clasp 3.2.1
+  * add interface to add variables during propagation
+  * add interface to inspect ground rules (C/C++ only)
+  * add experimental interface to access clasp facade (C/C++ only)
+  * fixed smodels output (--output=smodels)
 clingo 5.0.0
   * cleanup of python and lua API (breaks backwards compatibility)
   * added new aspif output format replacing the old smodels format