Clingo 4 Tips and Tricks Home › Forums › Potassco Tools › Clingo 4 Tips and Tricks Tagged: clingo This topic has 1 reply, 2 voices, and was last updated 10 years, 9 months ago by Mark Law. Viewing 2 posts - 1 through 2 (of 2 total) Author Posts November 26, 2014 at 1:17 pm #121 Graham DeaneKeymaster A place to share knowledge/findings about the Potassco answer set solver clingo version 4 November 26, 2014 at 1:49 pm #127 Mark LawParticipant If you have a lot of constraints of the form :- #sum{ set(X…) = W } = SX, #sum{ set(Y…) = W2 } = SY, SX < SY. they can horribly with all the different values that SX and SY could take. A better way is to it like this: :- #sum{ set(X…)=W, set(Y…)= – W2} < 0. This doesn’t ground anywhere near as badly and caused a speed up of 40s -> under a second for me in one case. Author Posts Viewing 2 posts - 1 through 2 (of 2 total) You must be logged in to reply to this topic. Log In Username: Password: Keep me signed in Log In