formulae-org/.github

Size: 107 KB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

vaibhavkarve/graphsat

A python package that recognizes clauses, Cnfs, graphs, hypergraphs, and multi-hypergraphs. The package implements local graph-rewriting, graph-satchecking, calculation of graph disjunctions, as well as checking of new reduction rules.

Language: Jupyter Notebook - Size: 1.65 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 2

require-gio/pm4py-resetnet Fork of pm4py/pm4py-core

Extension of the PM4Py project with additional features concerning BPMN and reset nets.

Language: Python - Size: 95.4 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0