Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merge master into phase_saving_and_restarts #224

Merged
merged 24 commits into from
Feb 21, 2020
Merged

Merge master into phase_saving_and_restarts #224

merged 24 commits into from
Feb 21, 2020

Commits on Feb 5, 2020

  1. new package at.ac.tuwien.kr.alpha.api for classes making up the Alpha… 

    …'s public API, moved Alpha there
    @madmike200590
    madmike200590 committed Feb 5, 2020
    Configuration menu
    Copy the full SHA
    5273950 View commit details
    Browse the repository at this point in the history

  2. interface definition for AnswerSetToObjectMapper

    @madmike200590
    madmike200590 committed Feb 5, 2020
    Configuration menu
    Copy the full SHA
    e17f47b View commit details
    Browse the repository at this point in the history

  3. added dependency for ms office library apache poi, created skeleton f… 

    …or AnswerSetToWorkbookMapper
    @madmike200590
    madmike200590 committed Feb 5, 2020
    Configuration menu
    Copy the full SHA
    e9bdf45 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2020

  1. moved AlphaTest to correct package

    @madmike200590
    madmike200590 committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    9cb287c View commit details
    Browse the repository at this point in the history

  2. implementation and tests for mapping from AnswerSet to Workbook

    @madmike200590
    madmike200590 committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    e3b4b2d View commit details
    Browse the repository at this point in the history

  3. perform dupilicate handling also for LICENSE and NOTICE files without… 

    … txt extension since apache poi bundles them without ext
    @madmike200590
    madmike200590 committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    d6abdad View commit details
    Browse the repository at this point in the history

  4. commandline option and handling in Main for xlsx output

    @madmike200590
    madmike200590 committed Feb 10, 2020
    Configuration menu
    Copy the full SHA
    46b2d3b View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2020

  1. corrected formatting

    @madmike200590
    madmike200590 committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    26cbee0 View commit details
    Browse the repository at this point in the history

  2. improved description for write xlsx option

    @madmike200590
    madmike200590 committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    5e442eb View commit details
    Browse the repository at this point in the history

  3. corrected copyright year

    @madmike200590
    madmike200590 committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    ebca898 View commit details
    Browse the repository at this point in the history

  4. encapsulate xlsx output handling in main

    @madmike200590
    madmike200590 committed Feb 11, 2020
    Configuration menu
    Copy the full SHA
    c037b98 View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2020

  1. write xlsx also when unsatisfiable, write headers in generated xlsx s… 

    …heets
    @madmike200590
    madmike200590 committed Feb 14, 2020
    Configuration menu
    Copy the full SHA
    eae9430 View commit details
    Browse the repository at this point in the history

  2. test for answerSetToXlsxWriter

    @madmike200590
    madmike200590 committed Feb 14, 2020
    Configuration menu
    Copy the full SHA
    f63b527 View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2020

  1. Use optimized cardinality encoding.

    @AntoniusW
    AntoniusW committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    b7fccdc View commit details
    Browse the repository at this point in the history

  2. Further optimize cardinality encoding (early variable projection).

    @AntoniusW
    AntoniusW committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    b7c43f5 View commit details
    Browse the repository at this point in the history

  3. Further optimize cardinality encoding (avoid interval overlap).

    @AntoniusW
    AntoniusW committed Feb 15, 2020
    Configuration menu
    Copy the full SHA
    cee627b View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2020

  1. get rid of useless dummy atom when mapping 0-arity predicates

    @madmike200590
    madmike200590 committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    3250a55 View commit details
    Browse the repository at this point in the history

  2. corrected formatting

    @madmike200590
    madmike200590 committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    b7186f8 View commit details
    Browse the repository at this point in the history

  3. removed obsolete implementation comment

    @madmike200590
    madmike200590 committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    357232c View commit details
    Browse the repository at this point in the history

  4. added verification on written file to AnswerSetToxlsxWriterTest

    @madmike200590
    madmike200590 committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    04aa93f View commit details
    Browse the repository at this point in the history

  5. additional test case for writing unsat info

    @madmike200590
    madmike200590 committed Feb 17, 2020
    Configuration menu
    Copy the full SHA
    8f1d5a2 View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2020

  1. Merge pull request #219 from alpha-asp/write_answersets_to_xlsx 

    Feature: Render answer sets as excel workbooks (xlsx files)
    @AntoniusW
    AntoniusW authored Feb 18, 2020
    Configuration menu
    Copy the full SHA
    5cd8c92 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2020

  1. Merge pull request #223 from alpha-asp/cardinality_optimization 

    Switch to optimized cardinality aggregate normalization.
    @rtaupe
    rtaupe authored Feb 19, 2020
    Configuration menu
    Copy the full SHA
    d2f7b40 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into phase_saving_and_restarts_merge_master 

    # Conflicts:
#	src/main/java/at/ac/tuwien/kr/alpha/config/CommandLineParser.java
    @rtaupe
    rtaupe committed Feb 19, 2020
    Configuration menu
    Copy the full SHA
    0fbb0e9 View commit details
    Browse the repository at this point in the history