Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Grounder restart #361

Open
wants to merge 56 commits into
base: master
Choose a base branch
from
Open

Grounder restart #361

wants to merge 56 commits into from

Conversation

paulbehofsics
Copy link
Collaborator

Adds reboots, that allow the removal of static nogoods. A reboot removes all except the minimum necessary static nogoods at some point during the search. This is done by resetting the solver and grounder and then replaying the same decisions as before to arrive at the same assignment. Included strategies for when to perform a reboot are experimental but the ANSWER strategy is the most promising so far. Reboots are disabled per default.

Paul Behofsics added 30 commits July 18, 2022 15:50
@codecov
Copy link

codecov bot commented Jul 20, 2023

Codecov Report

Patch coverage: 82.33% and project coverage change: +0.18% 🎉

Comparison is base (2cce436) 78.87% compared to head (b383996) 79.06%.

Additional details and impacted files
@@             Coverage Diff              @@
##             master     #361      +/-   ##
============================================
+ Coverage     78.87%   79.06%   +0.18%     
- Complexity      814      821       +7     
============================================
  Files           208      221      +13     
  Lines          8863     9299     +436     
  Branches       1495     1516      +21     
============================================
+ Hits           6991     7352     +361     
- Misses         1410     1474      +64     
- Partials        462      473      +11     
Files Changed Coverage Δ
...a/at/ac/tuwien/kr/alpha/core/common/AtomStore.java 100.00% <ø> (ø)
...ac/tuwien/kr/alpha/core/solver/PerformanceLog.java 100.00% <ø> (ø)
...re/solver/heuristics/HeapOfActiveChoicePoints.java 96.29% <ø> (+6.64%) ⬆️
...olver/reboot/strategies/RebootStrategyFactory.java 12.50% <12.50%> (ø)
.../tuwien/kr/alpha/app/config/CommandLineParser.java 76.29% <48.21%> (-5.76%) ⬇️
...at/ac/tuwien/kr/alpha/api/config/SystemConfig.java 76.47% <59.25%> (-5.06%) ⬇️
.../kr/alpha/core/solver/NoGoodStoreAlphaRoaming.java 81.36% <75.00%> (-0.06%) ⬇️
.../ac/tuwien/kr/alpha/core/solver/ChoiceManager.java 80.32% <80.00%> (-0.93%) ⬇️
.../ac/tuwien/kr/alpha/core/solver/DefaultSolver.java 74.26% <81.30%> (+2.88%) ⬆️
...ien/kr/alpha/core/solver/reboot/RebootManager.java 82.85% <82.85%> (ø)
... and 29 more

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant