#1815
84%
master: 84%

Ran 10 Jan 2023 04:54AM UTC

Jobs 1

Files 217

Run time 6s

Badge

Embed ▾

pending completion

Build # #1815

Build Type

push

github-actions

Committed by

Commit Message

Enable optimization based on command-line, also accept upper bound, and print valuation of answer sets if weak constraints are present.

- CommandLineParser and SystemConfig handle options enabling optimization and maximum upper bound.
- WeakConstraintsManager interface introduced.
- WeakConstraintsManagerForBoundedOptimality for branch-and-bound search extracted.
- WeakConstraintsManagerForUnboundedEnumeration for computing weights/levels of answer sets of programs with weak constraints.
- WeightAtLevelsManager accepts maximum upper bound from comma-seperated weight@level pairs.
- DefaultSolver adds weight/levels to answer sets if weak constraints are present.
- OptimizingSolver handles maximum upper bound if specified.
- SolverFactory returns OptimizingSolver based on flag, not presence of weak constraints in input.
- Added initialization tests to WeightAtLevelsManagerTest.
- Added to TestUtils methods for regression testing the OptimizingSolver, and using them in WeakConstraintsTests.

Run Details

7388 of 8800 relevant lines covered (83.95%)

0.84 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#1815.1	10 Jan 2023 04:54AM UTC	217	83.95

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1815

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #1815

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

README BADGES
x