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

Preparation for Beta Release 0.1 #3

Merged
merged 84 commits into from
Apr 25, 2024
Merged

Preparation for Beta Release 0.1 #3

merged 84 commits into from
Apr 25, 2024

Commits on Aug 21, 2023

  1. added experimental meta encoding for multi MUC finding

    @hweichelt
    hweichelt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    d524e96 View commit details
    Browse the repository at this point in the history

  2. fixed comments

    @hweichelt
    hweichelt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    f24abd6 View commit details
    Browse the repository at this point in the history

  3. added example before conversion

    @hweichelt
    hweichelt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    4e2b101 View commit details
    Browse the repository at this point in the history

  4. renamed examples

    @hweichelt
    hweichelt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    52668c2 View commit details
    Browse the repository at this point in the history

  5. added README for more context

    @hweichelt
    hweichelt committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    229814a View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2023

  1. added reformatted version of asp_approach

    @hweichelt
    hweichelt committed Aug 28, 2023
    Configuration menu
    Copy the full SHA
    00c272d View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2023

  1. extended cli with first implementation of asp approach

    @hweichelt
    hweichelt committed Aug 31, 2023
    Configuration menu
    Copy the full SHA
    4069540 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2023

  1. added possibility to provide constants for simplified assumption cont… 

    …roll
    @hweichelt
    hweichelt committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    182c0d5 View commit details
    Browse the repository at this point in the history

  2. added working asp-approach to cli

    @hweichelt
    hweichelt committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    593bebc View commit details
    Browse the repository at this point in the history

  3. added first draft of RuleSplitter transformer

    @hweichelt
    hweichelt committed Sep 11, 2023
    Configuration menu
    Copy the full SHA
    41bdbc0 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. fixed creation of new rules in RuleSplitter

    @hweichelt
    hweichelt committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    0f2f307 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2023

  1. switched ASP meta encoding muc finding strategy to default

    @hweichelt
    hweichelt committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    bdf89c6 View commit details
    Browse the repository at this point in the history

  2. reformatting and code cleanup

    @hweichelt
    hweichelt committed Sep 25, 2023
    Configuration menu
    Copy the full SHA
    d3c7049 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2023

  1. current progress on debuging the asp approach

    @hweichelt
    hweichelt committed Oct 9, 2023
    Configuration menu
    Copy the full SHA
    1ec141a View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. switched ID approach back to default + documentation

    @hweichelt
    hweichelt committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    b4f3b5f View commit details
    Browse the repository at this point in the history

  2. removed asp approach as option

    @hweichelt
    hweichelt committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    a3bef2f View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. started cli refactoring

    @hweichelt
    hweichelt committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    37665a9 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2023

  1. restored full old functionallity after refactor

    @hweichelt
    hweichelt committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    cdb6b02 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. added first implemenetation of unsat-constraints method

    @hweichelt
    hweichelt committed Nov 15, 2023
    Configuration menu
    Copy the full SHA
    1d8806e View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. added todos to README

    @hweichelt
    hweichelt committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    0259af5 View commit details
    Browse the repository at this point in the history

  2. added multi muc search

    @hweichelt
    hweichelt committed Dec 18, 2023
    Configuration menu
    Copy the full SHA
    7c9c390 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. added FactTransformer to remove program facts

    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    49f5d7f View commit details
    Browse the repository at this point in the history

  2. added util function to get model/string signatures

    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    01a184b View commit details
    Browse the repository at this point in the history

  3. fixed skipping order in get_multiple_minimal

    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    f603e15 View commit details
    Browse the repository at this point in the history

  4. added functionality for combined --muc and --unsat-constraints

    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    9b5153b View commit details
    Browse the repository at this point in the history

  5. added API functionality for unsat-constraints

    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    bccecd0 View commit details
    Browse the repository at this point in the history

  6. removed old CLI

    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    235ed10 View commit details
    Browse the repository at this point in the history

  7. added DecisionOrderPropagator

    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    96ac704 View commit details
    Browse the repository at this point in the history

  8. updated DecisionOrderPropagator to only print provided signatures

    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    44db05f View commit details
    Browse the repository at this point in the history

  9. extended CLI with --show-decisions flag and fine-grained --decision-s… 

    …ignature selection
    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    7aa83ec View commit details
    Browse the repository at this point in the history

  10. updated README

    @hweichelt
    hweichelt committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    f3c9dc6 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. updated README ToDos

    @hweichelt
    hweichelt committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    16ce89d View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. added --show-decisions as its own mode

    @hweichelt
    hweichelt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1c5b84d View commit details
    Browse the repository at this point in the history

  2. updated README

    @hweichelt
    hweichelt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    89bf3c8 View commit details
    Browse the repository at this point in the history

  3. moved old examples to misc directory

    @hweichelt
    hweichelt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    3ed2dee View commit details
    Browse the repository at this point in the history

  4. added proper sudoku example

    @hweichelt
    hweichelt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    003ccc3 View commit details
    Browse the repository at this point in the history

  5. fixed sudoku example README spelling

    @hweichelt
    hweichelt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    09700ba View commit details
    Browse the repository at this point in the history

  6. added graph-coloring example

    @hweichelt
    hweichelt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    4869cec View commit details
    Browse the repository at this point in the history

  7. updated README for graph coloring example

    @hweichelt
    hweichelt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    56fd167 View commit details
    Browse the repository at this point in the history

  8. added nqueens example

    @hweichelt
    hweichelt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    b08a7fc View commit details
    Browse the repository at this point in the history

  9. updated README

    @hweichelt
    hweichelt committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    781faf8 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. added until function to retrieve constants from CL argument vector

    @hweichelt
    hweichelt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    25825ca View commit details
    Browse the repository at this point in the history

  2. fixed bug where assumption transformer dind't have access to constants

    @hweichelt
    hweichelt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    32ad3ee View commit details
    Browse the repository at this point in the history

  3. updated README

    @hweichelt
    hweichelt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    532359e View commit details
    Browse the repository at this point in the history

  4. updated README: bug didnt occur

    @hweichelt
    hweichelt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    bfa98c2 View commit details
    Browse the repository at this point in the history

  5. added except when AssumptionTransformer.get_assumptions is called wit… 

    …hout grounding first
    @hweichelt
    hweichelt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    936b0b0 View commit details
    Browse the repository at this point in the history

  6. fixed --show-decisions print when signatures are selected

    @hweichelt
    hweichelt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    157df02 View commit details
    Browse the repository at this point in the history

  7. cleanup in print function

    @hweichelt
    hweichelt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    0fe5646 View commit details
    Browse the repository at this point in the history

  8. added file and linenumber to unsat constraint output

    @hweichelt
    hweichelt committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    c3c6ca8 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. updated README

    @hweichelt
    hweichelt committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    d0119a4 View commit details
    Browse the repository at this point in the history

Commits on Feb 12, 2024

  1. Added OptimizationRemover 

    This is used for the MUC finding since optimization is not necessary there
    @hweichelt
    hweichelt committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    651cb7b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'hannes' of github.com:krr-up/clingo-explaid into hannes

    @hweichelt
    hweichelt committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    2c4fd39 View commit details
    Browse the repository at this point in the history

  3. fixed space in filename problem

    @hweichelt
    hweichelt committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    b8accea View commit details
    Browse the repository at this point in the history

  4. Update README.md

    @hweichelt
    hweichelt authored Feb 12, 2024
    Configuration menu
    Copy the full SHA
    a48988d View commit details
    Browse the repository at this point in the history

  5. added NO MUCS CONTAINED message for multi MUC

    @hweichelt
    hweichelt committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    bcddc8d View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2024

  1. added spaces around clickable file link for MAC

    @hweichelt
    hweichelt committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    346552d View commit details
    Browse the repository at this point in the history

  2. updated README

    @hweichelt
    hweichelt committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    bba0c42 View commit details
    Browse the repository at this point in the history

  3. added explaination to README for MUC problems with signatures

    @hweichelt
    hweichelt committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    526d777 View commit details
    Browse the repository at this point in the history

  4. updated README: literal representation

    @hweichelt
    hweichelt committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    04db65a View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. improved file+line references for unsat-constraints

    @hweichelt
    hweichelt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    31728f0 View commit details
    Browse the repository at this point in the history

  2. Update README.md

    @hweichelt
    hweichelt authored Feb 20, 2024
    Configuration menu
    Copy the full SHA
    37721a0 View commit details
    Browse the repository at this point in the history

  3. added removal of optimization statements from input encodings for uns… 

    …at-constraints
    @hweichelt
    hweichelt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    5068ae9 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'hannes' of github.com:krr-up/clingo-explaid into hannes

    @hweichelt
    hweichelt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    623b275 View commit details
    Browse the repository at this point in the history

  5. Updated README

    @hweichelt
    hweichelt committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    65ebeab View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2024

  1. extended signatures in CLI to ones with zero arity

    @hweichelt
    hweichelt committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    446e601 View commit details
    Browse the repository at this point in the history

  2. fixed errors in get_signatures_from_model_string function + tests

    @hweichelt
    hweichelt committed Mar 3, 2024
    Configuration menu
    Copy the full SHA
    add933e View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. fixed bug where muc+unsat_constraints only works for multiple answersets

    @hweichelt
    hweichelt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    c1ff078 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. fixed arity of -a in graph coloring example

    @hweichelt
    hweichelt committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    502bd93 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. moved to new potassco project template

    @hweichelt
    hweichelt committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    3f95703 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. restructuring and reformatting of source code

    @hweichelt
    hweichelt committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    358dc82 View commit details
    Browse the repository at this point in the history

  2. fixed linting errors

    @hweichelt
    hweichelt committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    d3d07b8 View commit details
    Browse the repository at this point in the history

  3. fixed typing issues

    @hweichelt
    hweichelt committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    caf597a View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. fixed more typing issues

    @hweichelt
    hweichelt committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    2edd246 View commit details
    Browse the repository at this point in the history

  2. added new test for coverage

    @hweichelt
    hweichelt committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    ad97475 View commit details
    Browse the repository at this point in the history

  3. increased min python version to 3.11

    @hweichelt
    hweichelt committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    90e9ca4 View commit details
    Browse the repository at this point in the history

  4. removed 3.9 from noxfile

    @hweichelt
    hweichelt committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    de73442 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. separated README and TODO

    @hweichelt
    hweichelt committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    dd14f90 View commit details
    Browse the repository at this point in the history

  2. updated README

    @hweichelt
    hweichelt committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    547cdbf View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. added .venv to gitignore

    @hweichelt
    hweichelt committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    10673d3 View commit details
    Browse the repository at this point in the history

  2. fixed regex parantheses escaping

    @hweichelt
    hweichelt committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    fc2887b View commit details
    Browse the repository at this point in the history

  3. added assumptions argument to clingo.solve function in test

    @hweichelt
    hweichelt committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    54f4de9 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. moved custom types to seperate module

    @hweichelt
    hweichelt committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    bae4692 View commit details
    Browse the repository at this point in the history

  2. separated tests

    @hweichelt
    hweichelt committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    1114076 View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. Fixed CI

    @hweichelt
    hweichelt committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    644aaf3 View commit details
    Browse the repository at this point in the history