Commit graph

Select branches

Hide pull requests

main

Mono Color

• 217d29635e Implemented resolution on propositional logic main reijix 2023-06-11 17:11:18 +0200
• 1110dcafe7 Added CLI functionality reijix 2023-06-08 12:53:19 +0200
• 876a9c9c63 Added some printing for resolution and implemented alphaEq on clauses reijix 2023-06-08 11:30:41 +0200
• 7b773c4605 Use Set instead of List to fix many errors, better file structure reijix 2023-06-07 17:36:14 +0200
• eb5269d90e Implemented Parser reijix 2023-06-07 11:04:00 +0200
• 69f576b054 Worked on fixing issues reijix 2023-06-04 18:11:28 +0200
• 93273f0cc5 Removed executable reijix 2023-06-04 17:12:29 +0200
• 6aa770be77 Renamed project reijix 2023-06-04 17:11:18 +0200
• 30b63499bf Implemented unification and resolution reijix 2023-06-04 17:10:14 +0200