Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the original Eurisko and related systems.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool