bog bfd64b20b6 ✨ forward chaining v0.		2024-04-28 18:23:47 +02:00
..
test_cnf.py	✨ forward chaining v0.	2024-04-28 18:23:47 +02:00
test_kb.py	✨ forward chaining v0.	2024-04-28 18:23:47 +02:00
test_lexer.py	🎉 ✨ lexer for formula.	2024-04-24 10:56:13 +02:00
test_parser.py	✨ parser for formula.	2024-04-24 14:40:43 +02:00
test_subst.py	✨ formula to CNF converter.	2024-04-25 18:47:45 +02:00
test_unify.py	✨ forward chaining v0.	2024-04-28 18:23:47 +02:00