3 Commits

Author	SHA1	Message	Date
Wilson Snyder	a2f327f729	Support `extern constraint`	2024-12-12 08:16:19 -05:00
Arkadiusz Kozdra	739be2f782	Support constrained randomization with external solvers (#4947)	2024-05-17 10:38:34 -04:00
Wilson Snyder	05660d1118	Add CONSTRAINTIGN warning when constraint ignored. Likewise ignore constraint_mode, rand_mode.	2023-04-05 21:27:37 -04:00