{"ref":null,"ref_type":"repository","master_branch":"master","description":"Project for \"Artificial Intelligence\" course at Penn State. Interprets propositional logic by converting statement to CNF and determining satisfying assignments.","pusher_type":"user"}
{"actor":{"display_login":"ShaneBByers"}}