Switch to catch 3.1 - Githubissues

potassco / clingcon

⛓️ Extension of clingo to handle constraints over integers

https://potassco.org/

MIT License

25 stars 4 forks source link

Switch to catch 3.1 #93

Closed rkaminsk closed 2 years ago