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

Job	Run time
EasyCrypt compilation (opam)	1m 17s
Fetch EasyCrypt External Projects Matrix	4s
EasyCrypt compilation (nix)	1m 23s
Check EasyCrypt Libraries (unit)	1m 14s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 52s
Check EasyCrypt Libraries (stdlib)	5m 5s
Check EasyCrypt Libraries (examples)	3m 6s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 7s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 20s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 41s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	8m 12s
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...	20m 59s
Check EasyCrypt External Projects (set-status)	4s
Notification	3s
	1h 6m 15s

Provide feedback