From 9a8e949d3007eb4b281a47973846915070b7fa54 Mon Sep 17 00:00:00 2001 From: Philipp Wanko Date: Fri, 10 Nov 2023 19:43:31 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 10844cb..f671a71 100644 --- a/README.md +++ b/README.md @@ -18,7 +18,7 @@ fclingo is an extension of [clingo](https://github.com/potassco/clingo) and acce ### Relation to clingcon fclingo relies on the constraint answer set programming (CASP) solver [clingcon](https://github.com/potassco/clingo) into whose language a fclingo program is translated. fclingo's two main advantages are foundedness of the integer variables and aggregates over integer variables. The former allows variables to be undefined and only assume a value if a reason for that value can be derived. This differs to the behavior of CASP, where variables are always defined and in absence of any constraint to a variable, all possible values are enumerated. The latter generalizes ASP aggregates to contain integer variables that are not subject to grounding. -### Assignments +### Output The answer sets of fclingo programs contain atoms `val(x,v)`, where `x` is a integer variable occurring in the program and `v` is the integer value of the variable in the answer set. The absence of such an atom means the variable is undefined. ### Language overview