3 Commits

Author	SHA1	Message	Date
Wilson Snyder	a2f327f729	Support `extern constraint`	2024-12-12 08:16:19 -05:00
Wilson Snyder	1c38744fd1	Tests: Fix requiring core dump	2024-09-04 20:10:05 -04:00
Arkadiusz Kozdra	739be2f782	Support constrained randomization with external solvers (#4947)	2024-05-17 10:38:34 -04:00