reduction-rules

There are 0 repository under reduction-rules topic.

• 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.

  cnfsgraphsgraph-theoryhyperedgessatisfiabilityreduction-ruleshypergraphsmulti-hypergraphsclausesgraph-disjunctions
  Language:Jupyter Notebook 5

• require-gio / pm4py-resetnet

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

  bpmnreset-netreduction-rules
  Language:Python 1

• formulae-org / .github

  programming-languagearithmeticsymbolicpretty-printexpression-languagereduction-rules
  0