issues
search
potassco
/
clingcon
⛓️ Extension of clingo to handle constraints over integers
https://potassco.org/
MIT License
25
stars
4
forks
source link
Fix incremental minimization
#77
Closed
MaxOstrowski
closed
3 years ago
MaxOstrowski
commented
3 years ago
Closes #76.
Closes #76.