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

Job	Run time
EasyCrypt compilation (opam)	1m 11s
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (nix)	1m 32s
Check EasyCrypt Libraries (unit)	1m 15s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 55s
Check EasyCrypt Libraries (stdlib)	5m 3s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 2s
Check EasyCrypt Libraries (examples)	3m 5s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 18s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 48s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 39s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 47s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 16s
Check EasyCrypt External Projects (set-status)	2s
Notification	3s
	1h 6m 0s

Provide feedback