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

Job	Run time
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (opam)	1m 10s
EasyCrypt compilation (nix)	1m 13s
Check EasyCrypt Libraries (unit)	1m 17s
Check EasyCrypt External Projects (jasmin-eclib, https://github.com/jasmin-lang/jasmin, main, ecl...	1m 53s
Check EasyCrypt Libraries (stdlib)	5m 13s
Check EasyCrypt Libraries (examples)	3m 13s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	12m 27s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 26s
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 41s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 54s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	20m 58s
Check EasyCrypt External Projects (set-status)	1s
Notification	9s
	1h 6m 24s

Provide feedback