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

Constraint propagation solver and new hole types (4 PRs) #25

Merged
merged 26 commits into from
Apr 2, 2024
Merged

Constraint propagation solver and new hole types (4 PRs) #25

merged 26 commits into from
Apr 2, 2024

Commits on Feb 9, 2024

  1. Add is_subdomain

    @Whebon
    Whebon committed Feb 9, 2024
    Configuration menu
    Copy the full SHA
    a53cc81 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2024

  1. Replace _pattern_match_with_hole, _pattern_match, `_rulenode_matc… 

    …h_with_hole`, and `_rulenode_match` with `pattern_match`
    @Whebon
    Whebon committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    6ee3176 View commit details
    Browse the repository at this point in the history

  2. Add Solver stub

    @Whebon
    Whebon committed Feb 24, 2024
    Configuration menu
    Copy the full SHA
    350794e View commit details
    Browse the repository at this point in the history

Commits on Feb 25, 2024

  1. Scaffolding of the Solver

    @Whebon
    Whebon committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    e25314a View commit details
    Browse the repository at this point in the history

  2. Add support for bychildtypes

    @Whebon
    Whebon committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    01d3154 View commit details
    Browse the repository at this point in the history

  3. Add DataStructures for the PriorityQueue class

    @Whebon
    Whebon committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    cc600cc View commit details
    Browse the repository at this point in the history

  4. Reorganize code over multiple files

    @Whebon
    Whebon committed Feb 25, 2024
    Configuration menu
    Copy the full SHA
    3189b01 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2024

  1. Test basic functionality of the Solver

    @Whebon
    Whebon committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    d6c3f27 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Add VarNode and refactor MatchNode -> RuleNode

    @Whebon
    Whebon committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    fb51e07 View commit details
    Browse the repository at this point in the history

  2. Add fill_hole! for the FixedShapedIterator

    @Whebon
    Whebon committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    ab769c7 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2024

  1. Add path-based tree manipulations and the Forbidden constraint

    @Whebon
    Whebon committed Mar 2, 2024
    Configuration menu
    Copy the full SHA
    7036d55 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. add is_feasible and get_node_path

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

Commits on Mar 6, 2024

  1. Add SolverStatistics to track the number of propagations

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

  2. Add path based propagation triggers (on_tree_manipulation is a Dict)

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

Commits on Mar 7, 2024

  1. Move max_depth and max_size to the Solver

    @Whebon
    Whebon committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    fe5c18c View commit details
    Browse the repository at this point in the history

  2. Add post method to differentiate between rescheduling and posting new… 

    … constraints
    @Whebon
    Whebon committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    b263f7a View commit details
    Browse the repository at this point in the history

  3. Remove legacy code

    @Whebon
    Whebon committed Mar 7, 2024
    Configuration menu
    Copy the full SHA
    70d24de View commit details
    Browse the repository at this point in the history

Commits on Mar 8, 2024

  1. Add make_less_than_or_equal! and test cases

    @Whebon
    Whebon committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    d56f674 View commit details
    Browse the repository at this point in the history

  2. Commit to is_feasible checks over try-catch blocks

    @Whebon
    Whebon committed Mar 8, 2024
    Configuration menu
    Copy the full SHA
    7ab0ee6 View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2024

  1. Add tests for Forbidden and Ordered GrammarConstraints

    @Whebon
    Whebon committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    6d367e4 View commit details
    Browse the repository at this point in the history

  2. Add new implementation of LocalOrdered

    @Whebon
    Whebon committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    1f278a8 View commit details
    Browse the repository at this point in the history

  3. Add jump starts for the solver, and fix tiebreakers in `make_less_tha… 

    …n_or_equal!`
    @Whebon
    Whebon committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    2239275 View commit details
    Browse the repository at this point in the history

  4. Add tests for Forbidden and Ordered constraints

    @Whebon
    Whebon committed Mar 9, 2024
    Configuration menu
    Copy the full SHA
    bb5c0d1 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2024

  1. Add the jump start to Solver constructor

    @Whebon
    Whebon committed Mar 10, 2024
    Configuration menu
    Copy the full SHA
    4838177 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Ensure newly added holes are simplified (FSH of domain size 1 should … 

    …be a RuleNode)
    @Whebon
    Whebon committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    8e3120d View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. Tabs to spaces, Grammar to AbstractGrammar; minor changes to docs and… 

    … readability
    @THinnerichs
    THinnerichs committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    1690499 View commit details
    Browse the repository at this point in the history