Skip to content

Filter & Sort Counterexamples by Binders#272

Open
rcosta358 wants to merge 2 commits into
mainfrom
filter-sort-counterexamples
Open

Filter & Sort Counterexamples by Binders#272
rcosta358 wants to merge 2 commits into
mainfrom
filter-sort-counterexamples

Filter Known Assignments

16070e0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Maven test on Java 20
succeeded Jul 14, 2026 in 1m 34s