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