include rlimit in nlsat, include dedicated error message, for issue #216
include rlimit in nlsat, include dedicated error message, for issue #216

Signed-off-by: Nikolaj Bjorner <0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com>

seahorn/z3,seahorn/z3,seahorn/z3,kyledewey/z3,wujunzero/z3,conceptofproof/z3,wujunzero/z3,conceptofproof/z3,mschlaipfer/z3,conceptofproof/z3,kyledewey/z3,mschlaipfer/z3,wujunzero/z3,kyledewey/z3,wujunzero/z3,conceptofproof/z3,jirislaby/z3,jirislaby/z3,mschlaipfer/z3,conceptofproof/z3,wujunzero/z3,mschlaipfer/z3,kyledewey/z3,seahorn/z3,jirislaby/z3,jirislaby/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,jirislaby/z3,jirislaby/z3,wujunzero/z3,conceptofproof/z3,mschlaipfer/z3,seahorn/z3