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

Change tactic_feedback in agent to SearchState #40

Open
lenianiva opened this issue Oct 23, 2024 · 2 comments
Open

Change tactic_feedback in agent to SearchState #40

lenianiva opened this issue Oct 23, 2024 · 2 comments
Assignees
@lenianiva
Labels
enhancement New feature or request feature/search Search and agents

Comments

@lenianiva
Copy link
Owner

As pointed out in #37
@lenianiva lenianiva added the enhancement New feature or request label Oct 23, 2024
@lenianiva lenianiva self-assigned this Oct 23, 2024
@lenianiva lenianiva added the feature/search Search and agents label Oct 23, 2024
@sorgfresser
Copy link
Contributor

Closed with #43 I think?

@lenianiva
Copy link
Owner Author

Closed with #43 I think?

On the mainline the agent still uses GoalState:

PyPantograph/pantograph/search.py

Line 87 in 605fbd0

goal_state: GoalState,

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lenianiva lenianiva

Labels
enhancement New feature or request feature/search Search and agents
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sorgfresser @lenianiva