reductions

Here are 3 public repositories matching this topic...

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

🌲 Reduction from the 3sat-3 problem to the maximum flow problem.

Add a description, image, and links to the reductions topic page so that developers can more easily learn about it.

To associate your repository with the reductions topic, visit your repo's landing page and select "manage topics."