alpha-asp / Alpha

84%

master: 84%

LAST BUILD ON BRANCH weak_constraints

branch: weak_constraints

CHANGE BRANCH

x

Reset

• weak_constraints
• add_simple_completion
• additional_choice_nogoods
• additional_choice_nogoods_alt
• agg_plus_just
• answer_set_formatting
• arithmetic_term_rewriter
• atom_counter
• avoiding_integer_objects
• bugfix_term_equality
• cardinality_optimization
• ci
• citation
• clause_minimization_local
• codecov-v2
• completion
• completion_cli
• completion_merge_issue211
• conflict_generalisation
• coveralls-badge
• deprecate_old_heuristics
• domspec_heuristics
• domspec_heuristics_extended
• domspec_heuristics_extended_merge_issue211
• escaped_quotes
• external_atom_libs
• f22a97f4ad744ab8f5e47f615365887674f1bebe
• fast-travis
• fix_159
• fix_239
• fix_accumulator_flag_issue271
• fix_interval_rewriting_issue277
• forbid_lowercase_variable_terms
• full_aggregate_support_review
• github-actions
• gradle-7.3
• gradle7_compliancy
• grounding_strategies
• grounding_strategies_and_phase_saving_and_restarts
• hotfix_datetime_leq
• improve_grounder_selectivity
• issue211
• issue238
• issue251
• java-13
• java-update
• master
• modularize_grounder
• move_substitution_test
• negated_externals
• noGoodToString
• phase_saving_and_restarts
• phase_saving_and_restarts_fix_default_initial_phase
• phase_saving_and_restarts_merge_master
• program_part_parser
• pubs
• replay_counter_overflow
• rtaupe_affil_aau
• separate_logback_xmls
• stdlib_externals
• substitution_lazy_cloning
• test/non-binding_vars
• test_stratified_evaluation
• tests_strat_eval_param
• unit_test_support
• update
• update-readme
• v0.5.0
• write_answersets_to_xlsx

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.