#1797
84%
master: 84%

Ran 06 Oct 2021 07:30PM UTC

Jobs 1

Files 215

Run time 26s

Badge

Embed ▾

pending completion

Build # #1797

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1797.1	06 Oct 2021 07:30PM UTC	0	84.12

Source Files on build #1797

Detailed source file information is not available for this build.

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1797

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1797

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

README BADGES
x