Hacker News new | ask | show | jobs
by frik 4097 days ago
Thanks. From that page:

  Pointers in SLAM2: Efficient evaluation of pointer 
  predicates with Z3 SMT Solver in SLAM2