add SCC/2-SAT
add graham scan to geometry
fix geo