Projects in Awesome Lists tagged with propositional-resolution
A curated list of projects in awesome lists tagged with propositional-resolution .
https://github.com/georgejkaye/theorem-prover
A simple theorem prover made for a university programming assignment
clause-normal-form dimacs dpll propositional-logic propositional-resolution reasoning resolution-calculus theorem theorem-prover theorem-proving
Last synced: 12 Apr 2025
https://github.com/cheng-lin-li/ai
This repository for implementations of Artificial intelligence algorithms
ai alpha-beta-pruning decision-network dpll-algorithm propositional-logic propositional-resolution python27 walksat-algorithm
Last synced: 03 May 2025
