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.

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

Stochastic using solver (4 PRs) #82

Merged
merged 12 commits into from
Apr 18, 2024
Merged

Stochastic using solver (4 PRs) #82

merged 12 commits into from
Apr 18, 2024

Conversation

Whebon
Copy link
Contributor

@Whebon Whebon commented Apr 10, 2024

Make the stochastic iterator work with the constraint solver

@Whebon Whebon requested review from ReubenJ and THinnerichs April 10, 2024 14:41
@THinnerichs
Copy link
Member

This should also follow the new naming conventions

Whebon and others added 12 commits April 18, 2024 14:30
Trying to refactor the propose to generate full programs that satisfy the constraints.
…ose`. (This should not be needed, as the max_depth is already stored in the solver. The iterator should not overwrite the max_depth of the solver with default values.)
…nds from a TopDownIterator) in the stochastic search. It must be noted that sampling just a single program from the `RandomIterator` might be a bit slower, since this iterator is intended to be used to produce multiple programs.
@ReubenJ ReubenJ force-pushed the stochastic-using-solver branch from 2690e72 to 1869914 Compare April 18, 2024 13:41
@ReubenJ ReubenJ merged commit cada97b into dev Apr 18, 2024
0 of 3 checks passed
@ReubenJ ReubenJ deleted the stochastic-using-solver branch April 18, 2024 14:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants