Fix/69 - Githubissues

potassco / clingcon

⛓️ Extension of clingo to handle constraints over integers

https://potassco.org/

MIT License

25 stars 4 forks source link

Closed MaxOstrowski closed 3 years ago

MaxOstrowski commented 3 years ago

merge after #70 is merged (may need rebase if you squash)
I have to admit that I do not know what I'm doing here. I tried to guess what most functions do and at least the example seems to work :smirk:

rkaminsk commented 3 years ago

Please have a look. I'll merge if I get your thumbs up.