1
84%
master: 84%

Ran 06 Oct 2021 07:30PM UTC

Files 215

Run time 24s

Badge

Embed ▾

Committed 06 Oct 2021 03:46PM UTC coverage: 84.116%. First build

Job # #1797.1

Build Type

push

github-actions

Committed by

AntoniusW

Commit Message

Introduce OptimizingSolver for weak constraints, SolverFactory returns OptimizingSolver if weak constraints are present.

- OptimizingSolver extends DefaultSolver, implements branch-and-bound search.
- DefaultSolver visibility of methods/fields adapted for inheritance.
- AnswerSet provides getPredicateInstances for construction of WeightedAnswerSet from BasicAnswerSet.
- Fix logging level in WeakConstraintsManager and WeakConstraintsTests.

Run Details

7340 of 8726 relevant lines covered (84.12%)

0.84 hits per line

alpha-asp / Alpha / #1797 / 1
84%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #1797.1

alpha-asp / Alpha / #1797 / 1 84% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #1797.1

alpha-asp / Alpha / #1797 / 1
84%
master: 84%

README BADGES
x