search

potassco / clingcon

⛓️ Extension of clingo to handle constraints over integers
https://potassco.org/
MIT License
25 stars 4 forks source link

Fix String symbol output #63

Closed MaxOstrowski closed 3 years ago

MaxOstrowski commented 3 years ago

Same fix as for clingo-dl: https://github.com/potassco/clingo-dl/pull/59

rkaminsk commented 3 years ago

Please, fix the clang-tidy warnings before committing.