Clingo 4 Tips and Tricks

Home Forums Potassco Tools Clingo 4 Tips and Tricks

Tagged: 

Viewing 2 posts - 1 through 2 (of 2 total)
  • Author
    Posts
  • #121
    Graham Deane
    Keymaster

    A place to share knowledge/findings about the Potassco answer set solver clingo version 4

    #127
    Mark Law
    Participant

    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.

Viewing 2 posts - 1 through 2 (of 2 total)
  • You must be logged in to reply to this topic.