Sign inSign up

banescusebi/prosynt

By banescusebi

•Updated almost 9 years ago

A tool for synthesizing computer programs

Image
0

190

banescusebi/prosynt repository overview

⁠ProSynt

Build Status

A tool for synthesizing computer programs from I/O behavior.

Tag summary

Content type

Image

Digest

Size

169.3 MB

Last updated

almost 9 years ago

docker pull banescusebi/prosynt