new trans function drafted
Transition system added
Transition system added
Transition system added
Value set and evaluation function
val.pl updated
gitignore emacs temp file
emacs temp files del
gitignore for .zip files
updated val.pl.
updated gitignor and val.pl.
updated gitignor.
new state representation
gitignore updates
gitignore updates
updated val.pl to new state representation
Happy birthday Francesco!
Happy birthday Francesco!
Happy birthday Francesco!
Happy birthday Francesco!