GitHub - antonio-cirillo/3sat-3: :evergreen_tree: Reduction from the 3sat-3 problem to the maximum flow problem.

antonio-cirillo / 3sat-3 Public

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

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.gitignore		.gitignore
3sat3.py		3sat3.py
requirements.txt		requirements.txt

About

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

No releases published

No packages published