Refactored layout_predicates.mzn#32

RamizGindullin-UU wants to merge 1 commit into

pharmbio:mainpharmbio/plaid:mainfrom

RamizGindullin-UU:patch-9RamizGindullin-UU/plaid:patch-9Copy head branch name to clipboard