SHARE
TWEET

Untitled

a guest May 27th, 2019 73 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1.  
  2. (declare-const switch_var Bool)
  3. (declare-const wagenVAA Real)
  4. (assert (= wagenVAA (ite (= switch_var true) wagenVAA (ite (= switch_var false) 0.0 0.0))))
  5. (assert (= switch_var (not (="C-segment" "geen"))))
  6. (check-sat)
  7. (get-model)
  8. (exit)
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top