GitHub / 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.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/AskarAbdullaev%2Fpylogex
PURL: pkg:github/AskarAbdullaev/pylogex
Stars: 0
Forks: 0
Open issues: 0
License: None
Language: Jupyter Notebook
Size: 1.51 MB
Dependencies parsed at: Pending
Created at: 5 months ago
Updated at: 5 months ago
Pushed at: 5 months ago
Last synced at: 5 months ago
Topics: cnf, ctl-formulas, digital-circuits, dnf, dpll-algorithm, equational-reasoning, finite-automata, formal-models, knuth-bendix, kripke-structure, labelled-transition-system, ltl-formulas, most-general-unifier, oracles, petri-nets, process-algebra, propositional-logic, resolution