5 ms·

Sleeping.

• deleted 8y ago
  [deleted]
• brian_herman__ 8y ago
  Are you using z3? https://rise4fun.com/z3/tutorial https://rise4fun.com/z3/tutorial
• c0nducktr 8y ago
  Seriously. I often feel I went into the wrong line of work. I'm so exhausted.