OOPS: Optimized One-Planarity Solver via SAT
-
Updated
Jan 15, 2026 - C++
OOPS: Optimized One-Planarity Solver via SAT
Add a description, image, and links to the planarity topic page so that developers can more easily learn about it.
To associate your repository with the planarity topic, visit your repo's landing page and select "manage topics."