Skip to content

Minor optimizations in csp_solver - #35

Merged
alperaltuntas merged 2 commits into
mainfrom
minor_performance_fixes
Jun 23, 2026
Merged

Minor optimizations in csp_solver#35
alperaltuntas merged 2 commits into
mainfrom
minor_performance_fixes

Conversation

@alperaltuntas

@alperaltuntas alperaltuntas commented Mar 25, 2026

Copy link
Copy Markdown
Member
  • deque for BFS in _refresh_options_validities

  • id-based set lookup

  • fast path in apply_options_assertions

  • Also add citation info.

@alperaltuntas

Copy link
Copy Markdown
Member Author

@manishvenu Could you review this PR?

@manishvenu manishvenu left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, very interesting that in python you use deques for queues as well...

@alperaltuntas
alperaltuntas merged commit e1f1397 into main Jun 23, 2026
2 checks passed
@manishvenu
manishvenu deleted the minor_performance_fixes branch June 23, 2026 22:22
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.

2 participants