Skip to content

random selector: abandon odo if no forward progress #9

@linas

Description

@linas

Sometimes, the random selector quickly advances to an odometer from which all further progress seems to be barred. Thus, all remaining search cycles are wasted searching and re-searching this impossible odo. There needs to be a way of detecting this impossible condition, and backing up a level.

In particular, this seems to always happen after one solution is found; a second solution is never found...

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions