dekker.one / dekker-phd-thesis
Jip Dekker's PhD Thesis
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

dekker-phd-thesis / assets / listing / inc_hill_climb.mzn
at develop 6 lines 139 B view raw
dekker.one Before dinner editing
4f614b1a
1predicate hill_climbing() = 2 if status() != START then 3 _objective < sol(_objective); 4 elseif status() = UNSAT then 5 complete(); 6 endif;