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

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

Provide feedback