Skip to content

Make problem parsing tolerant of delimiter whitespace - #189

Open
sylvesterkaczmarek wants to merge 1 commit into
google-deepmind:mainfrom
sylvesterkaczmarek:fix-problem-parser-whitespace
Open

sylvesterkaczmarek wants to merge 1 commit into
google-deepmind:mainfrom
sylvesterkaczmarek:fix-problem-parser-whitespace

Make problem parsing whitespace tolerant

9934df5
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded Sep 12, 2026 in 1s

✅ All contributors are covered under a CLA with Google

See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

Details

The following contributors were found for this pull request:

✅ 9934df5 Author: @sylvesterkaczmarek <16242628+sylvesterkaczmarek​@users.noreply.github.com>

(Only the first commit for a unique contributor is listed.)