[racket] Z3 + Racket

From: John Clements (clements at brinckerhoff.org)
Date: Tue May 7 19:09:54 EDT 2013

Previous message: [racket] unicode properties package
Next message: [racket] typed racket slow?
Messages sorted by: [date] [thread] [subject] [author]

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?

Posted on the users mailing list.

Previous message: [racket] unicode properties package
Next message: [racket] typed racket slow?
Messages sorted by: [date] [thread] [subject] [author]