Binary documentation cvc5 github smt. Notashelf nyx. Is Silver Mine Arc important. Perdoname sinonimos.