GitHub - xtends/eurisko-resources: 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.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
am-utexas		am-utexas
doc		doc
eurisko-research		eurisko-research
frdcsa/sys/cso/autoload		frdcsa/sys/cso/autoload
hrl-resources		hrl-resources
read.pl		read.pl
readlist		readlist

About

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.