Hello Gophers, I'm happy to announce Reach, a symbolic safety model checker and general symbolic reachability tool for Boolean/binary logic.
http://github.com/irifrance/reach This announcement coincides with a dedication of the stewardship of reach to the community. Any and all are so welcome, inquiries here on go-nuts or in private reply welcome for github invites. Best, Scott -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
