3 commits

Author	SHA1	Message	Date
lcnr	d6fd45c2e3	impossible obligations check fast path	2024-10-10 06:09:50 -04:00
Michael Goulet	db638ab968	Rename a bunch of things	2024-06-21 12:32:05 -04:00
Michael Goulet	7d2be888b6	Fix impl for SolverDelegate	2024-06-18 11:04:01 -04:00