oliverdantzer / cisc204_project Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ajsib/cisc204_project
Model the card game Yaniv in predicate logic. Project for Queen's University course CISC/CMPE 204: Logic for Computing Science.
License: MIT License