Code

Grounder restart#361

Code

Open

paulbehofsics wants to merge 56 commits intomasteralpha-asp/Alpha:masterfrom grounder_restartalpha-asp/Alpha:grounder_restartCopy head branch name to clipboard

+2,576-117

Commits

Commits on Jul 18, 2022

• Add naive solver and grounder restart

  

  Paul Behofsics

  committed
  c87f5c8

  Copy full SHA for c87f5c8

Commits on Aug 4, 2022

• Add reset for atom counter and nogood counter

  

  Paul Behofsics

  committed
  ce135ea

  Copy full SHA for ce135ea

• Fix choice replay during restart, add replay of enumeration nogoods

  

  Paul Behofsics

  committed
  287aedf

  Copy full SHA for 287aedf

• Fix license comments

  

  Paul Behofsics

  committed
  c3197c1

  Copy full SHA for c3197c1

Commits on Aug 6, 2022

• Add separate structure for ground rule uniqueness check

  

  Paul Behofsics

  committed
  04a7d07

  Copy full SHA for 04a7d07

• Add heuristic state reset for VSIDS

  

  Paul Behofsics

  committed
  e10a13e

  Copy full SHA for e10a13e

• Add grounder assignment sync in decision replay during restart

  

  Paul Behofsics

  committed
  3d39abf

  Copy full SHA for 3d39abf

Commits on Aug 13, 2022

• Add reset for EnumerationAtom in grounder restart

  

  Paul Behofsics

  committed
  7c74673

  Copy full SHA for 7c74673

• Rename collection of atomized nogoods

  

  Paul Behofsics

  committed
  1265f20

  Copy full SHA for 1265f20

• Fix chained branching heuristic reset

  

  Paul Behofsics

  committed
  66477d2

  Copy full SHA for 66477d2

• Add configuration parameters for restarts

  

  Paul Behofsics

  committed
  bf43569

  Copy full SHA for bf43569

Commits on Aug 15, 2022

• Remove debugging output

  

  Paul Behofsics

  committed
  62e1900

  Copy full SHA for 62e1900

• Add test configurations with restarts enabled

  

  Paul Behofsics

  committed
  3b3343f

  Copy full SHA for 3b3343f

• Ignore specific test case if restarts enabled

  

  Paul Behofsics

  committed
  6c029a1

  Copy full SHA for 6c029a1

Commits on Aug 16, 2022

• Fix growing for atom ids during choice replay in restart

  

  Paul Behofsics

  committed
  318c28b

  Copy full SHA for 318c28b

Commits on Sep 2, 2022

• Add unit tests for atomized structures, create package for solver and grounder reset

  

  Paul Behofsics

  committed
  0749bd0

  Copy full SHA for 0749bd0

• Fix imports and code style

  

  Paul Behofsics

  committed
  9abb63e

  Copy full SHA for 9abb63e

Commits on Sep 6, 2022

• Refactor unit tests for atomized structures

  

  Paul Behofsics

  committed
  a5329f4

  Copy full SHA for a5329f4

Commits on Sep 20, 2022

• Add nogood type to atomized nogoods

  

  Paul Behofsics

  committed
  de91827

  Copy full SHA for de91827

• Enable repeated restarts, keep learnt nogoods at restart

  

  Paul Behofsics

  committed
  1e6b528

  Copy full SHA for 1e6b528

Commits on Sep 21, 2022

• Add runtime performance logging

  

  Paul Behofsics

  committed
  e91e194

  Copy full SHA for e91e194

• Rename solver and grounder restart to reboot, fix reboot tests

  

  Paul Behofsics

  committed
  b101c95

  Copy full SHA for b101c95

Commits on Sep 23, 2022

• Prevent VSIDS from ignoring learnt nogoods, rename reboot related package

  

  Paul Behofsics

  committed
  d620419

  Copy full SHA for d620419

Commits on Oct 4, 2022

• Fix propagation stopwatch

  

  Paul Behofsics

  committed
  48d9270

  Copy full SHA for 48d9270

Commits on Oct 18, 2022

• Fix reboot repeat command line option

  

  Paul Behofsics

  committed
  759c551

  Copy full SHA for 759c551

Commits on Oct 20, 2022

• Store learnt nogoods also after assignment is closed

  

  Paul Behofsics

  committed
  658457e

  Copy full SHA for 658457e

• Add additional statistic tracking

  

  Paul Behofsics

  committed
  cf68c6a

  Copy full SHA for cf68c6a

Commits on Oct 21, 2022

• Move propagation stat tracking to separate class

  

  Paul Behofsics

  committed
  b5f9474

  Copy full SHA for b5f9474

• Extend reboot strategy interface

  

  Paul Behofsics

  committed
  5c518b3

  Copy full SHA for 5c518b3

Commits on Nov 2, 2022

• Implement simple dynamic reboot strategy

  

  Paul Behofsics

  committed
  91640c2

  Copy full SHA for 91640c2

Commits on Nov 3, 2022

• Minor naming and documentation changes

  

  Paul Behofsics

  committed
  52b54e4

  Copy full SHA for 52b54e4

• Merge branch 'master' into grounder_restart

  

  Paul Behofsics

  committed
  eaf9d5c

  Copy full SHA for eaf9d5c

Commits on Nov 8, 2022

• Implement regrounding rules for rule atoms after reboot

  

  Paul Behofsics

  committed
  212f15c

  Copy full SHA for 212f15c

Commits on Nov 9, 2022

• Remove assumption about choice points

  

  Paul Behofsics

  committed
  1902d0c

  Copy full SHA for 1902d0c

Commits on Nov 10, 2022

• Fix code style

  

  Paul Behofsics

  committed
  700ae2b

  Copy full SHA for 700ae2b

Commits on Nov 14, 2022

• Remove enumeration atom reset during reboot

  

  Paul Behofsics

  committed
  8d74174

  Copy full SHA for 8d74174

Commits on Nov 15, 2022

• Add luby learned strategy, move strategy calls

  

  Paul Behofsics

  committed
  9d99858

  Copy full SHA for 9d99858

Commits on Nov 18, 2022

• Fix logging

  

  Paul Behofsics

  committed
  2da3694

  Copy full SHA for 2da3694

Commits on Nov 26, 2022

• Fix dynamic reboot strategy

  

  Paul Behofsics

  committed
  6b36e0e

  Copy full SHA for 6b36e0e

Commits on Dec 6, 2022

• Add reboot strategies and add empty default implementations

  

  Paul Behofsics

  committed
  ec49b53

  Copy full SHA for ec49b53

• Fix code style

  

  Paul Behofsics

  committed
  913902d

  Copy full SHA for 913902d

Commits on Dec 13, 2022

• Change reboot strategy

  

  Paul Behofsics

  committed
  1c94cb1

  Copy full SHA for 1c94cb1

Commits on Feb 24, 2023

• Add reboot strategy parametrization

  

  Paul Behofsics

  committed
  7998ec9

  Copy full SHA for 7998ec9

Commits on Feb 25, 2023

• Merge master into grounder_restart, use RuleAtomData instead of String

  

  Paul Behofsics

  committed
  ffff229

  Copy full SHA for ffff229

Commits on Feb 28, 2023

• Remove obsolete Substitutions class, track enumeration nogoods in fixed reboot strategy

  

  Paul Behofsics

  committed
  8de2657

  Copy full SHA for 8de2657

Commits on Mar 1, 2023

• Track enumeration nogoods in static reboot strategies, fix long option names

  

  Paul Behofsics

  committed
  f106f31

  Copy full SHA for f106f31

• Rename solver option

  

  Paul Behofsics

  committed
  227cd61

  Copy full SHA for 227cd61

Commits on Mar 17, 2023

• Remove stat trackers and stop watches

  

  Paul Behofsics

  committed
  3dfad44

  Copy full SHA for 3dfad44

Commits on Jul 18, 2023

• Merge branch 'master' into grounder_restart

  

  Paul Behofsics

  committed
  d94a8d0

  Copy full SHA for d94a8d0

• Add reboot strategy parameters to tests

  

  Paul Behofsics

  committed
  8f2d6a3

  Copy full SHA for 8f2d6a3

• Remove obsolete test configurations

  

  Paul Behofsics

  committed
  4a51d9e

  Copy full SHA for 4a51d9e

Commits on Jul 20, 2023

• Reduce nesting depth

  

  Paul Behofsics

  committed
  7481758

  Copy full SHA for 7481758

Commits on Jul 23, 2023

• Add reboot strategy tests

  

  Paul Behofsics

  committed
  dbaab67

  Copy full SHA for dbaab67

Commits on Jul 26, 2023

• Add tests of ground explosion program

  

  Paul Behofsics

  committed
  20c6ebd

  Copy full SHA for 20c6ebd

• Add berkmin heuristic reset for reboot

  

  Paul Behofsics

  committed
  8bfecd7

  Copy full SHA for 8bfecd7

Commits on Jul 30, 2023

• Remove extra log output

  

  Paul Behofsics

  committed
  b383996

  Copy full SHA for b383996