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

Job	Run time
Fetch EasyCrypt External Projects Matrix	3s
EasyCrypt compilation (opam)	1m 15s
EasyCrypt compilation (nix)	1m 14s
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 13s
Check EasyCrypt External Projects (sha3, https://gitlab.com/easycrypt/sha3, next, ., config/tests...	11m 48s
Check EasyCrypt Libraries (examples)	3m 8s
Check EasyCrypt External Projects (cryptobox, https://gitlab.com/fdupress/ec-cryptobox, next, ., ...	2m 17s
Check EasyCrypt External Projects (xsalsa20, https://gitlab.com/fdupress/ec-xsalsa, master, ., co...	1m 44s
Check EasyCrypt External Projects (xmss-acai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	7m 35s
Check EasyCrypt External Projects (xmss-fsai, https://github.com/MM45/FV-XMSS-EC, master, ., conf...	6m 57s
Check EasyCrypt External Projects (sphincsplus, https://github.com/MM45/FV-SPHINCSPLUS-EC, master...	21m 22s
Check EasyCrypt External Projects (set-status)	2s
Notification	2s
	1h 5m 46s

Provide feedback