clingcon examples/move.lp

potassco / clingcon

⛓️ Extension of clingo to handle constraints over integers

https://potassco.org/

MIT License

25 stars 4 forks source link

Closed MaxOstrowski closed 4 years ago

MaxOstrowski commented 5 years ago

throws assertion

MaxOstrowski commented 5 years ago

examples/move.lp -c end=2 -c stepsize=1 fixed.

MaxOstrowski commented 5 years ago

full file still pending, not solveable without preprocessing facts.