GitHub topics: labelled-transition-system
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: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
nicoatuni/concurrent-museum-simulation 📦
SWEN90004 2022S1 Assignment 1 at Uni of Melbourne. Simulation of a museum exploring concurrency issues.
Language: Java - Size: 352 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
