Rigid unification option for `hint solve/exact` #3584

Job	Run time
EasyCrypt compilation (opam)	1m 9s
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (nix)	1m 18s
Check EasyCrypt Libraries (unit)	1m 15s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 50s
Check EasyCrypt Libraries (stdlib)	5m 8s
Check EasyCrypt Libraries (examples)	3m 15s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 20s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 17s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 44s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 44s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 52s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	20m 42s
Check EasyCrypt External Projects (set-status)	1s
Notification	0s
	1h 5m 38s

Provide feedback