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

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

Provide feedback