AskarAbdullaev/pylogex

Python utilities for studying logic including Finite Automata, Oracles, Kripke Structures, Process Algebra, LTL, CTL, Petri Nets, Propositional Logic, BCP, DPLL, Resolution, Blocked Clauses, Equational Reasoning, Term Matching, Term Reduction, Critical Pairs, Knuth-Bendix Completion, etc.

Language: Jupyter Notebook - Size: 1.51 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0