[racket] Z3 + Racket

[John Clements]

I musta missed this; Siddarth Agarwal and Amey Karkare wrote a set of Racket 
bindings for Z3. Maybe they would consider uploading this as a not-planet-2 
package?
____________________
  Racket Users list:
  http://lists.racket-lang.org/users