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

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

Provide feedback