News for hackers. Stuff that matters.

A comment on Rosette – A solver-aided programming language that extends Racket. Parent comment

Re:Rosette – A solver-aided programming language that extend... by nickpsecurity on Sunday June 04, 2017 @03:48PM (#14483156)
The DSL is a Berkley project:

http://pl.eecs.berkeley.edu/projects/chlorophyll/

[ Parent | on HN ]

There are no comments on this comment yet.