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

Issue559 prototype #2

Closed
wants to merge 19 commits into from
Closed

Issue559 prototype #2

wants to merge 19 commits into from

Conversation

silvansievers
Copy link
Owner

No description provided.

Silvan Sievers and others added 19 commits June 11, 2019 18:07
[issue559-prototype] add search engine builders
eabc16d
[issue559-prototype] finish implementation
a72414b
[issue559-prototype] let build return a shared ptr
c2525c9
[issue559-prototype] add missing plugin
218a05d
[issue559-prototype] add builders for some evaluators and blind heuri…
45559f4 
…stic; TODO: open lists
@jendrikseipp
[issue559-prototype] Build evaluators. Blind search works now.
c8f4d81
@jendrikseipp
[issue559-prototype] Add CostAdaptedEvaluatorBuilder and pass Task to…
63ee251 
… build() methods.
@jendrikseipp
[issue559-prototype] Pass task to open lists.
8d08314
@jendrikseipp
[issue559-prototype] Fix builder creation.
08fb21b
@jendrikseipp
[issue559-prototype] Unpack options for blind search heuristic earlier.
cb181d1
@jendrikseipp
[issue559-prototype] Don't store options in EvaluatorBuilder.
bee9502
@jendrikseipp
[issue559-prototype] Restore evaluator argument for cost adaptation.
843c26e
@jendrikseipp
[issue559-prototype] Remove cruft.
09d5782
@jendrikseipp
[issue559-prototype] Cache blind search heuristic.
b6180c2
@jendrikseipp
[issue559-prototype] Rename plugin.
254b86a
@jendrikseipp
[main] Merge issue976.
9f6f72f
[issue968] add commit message hook
6a4e67c
@silvansievers @FlorianPommerening
[main] Merge branch issue968.
2548cb4
[issue559-prototype] merge from branch main and adapt to changes
41b9c46
silvansievers pushed a commit that referenced this pull request Jul 21, 2020
@salome-eriksson
[issue453] Address pull request comments and fix two bugs.
00c9ba3 
Bug #1: Instead of discarding the result returned by simplify,
        overwrite old axioms with the result
Bug #2: In simplify, iterate over a copy of axioms_by_literals,
        since it is changed during the iteration
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@silvansievers @jendrikseipp