From c7221f905f4bf03388edae73d79a8e4f7031f23d Mon Sep 17 00:00:00 2001 From: Roland Kaminski Date: Sat, 22 Jun 2024 10:54:28 +0200 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6d12121..936790c 100644 --- a/README.md +++ b/README.md @@ -76,7 +76,7 @@ When option `--strict` is passed to the solver, then also strict constraints are ``` The assignment will then contain an epsilon component for each variable. For example, with the above program, `x>=1+e` will appear in the output. -This feature could also be used to support constraints in rule body and the `!=` relation; +This feature could also be used to support constraints in rule bodies and the `!=` relation; neither is implemented at the moment. Finally, the solver supports `&minimize` and `&maxmize` objectives where the former is a shortcut for the latter negating coefficients.