/Graph-Split-SAT-Solver

Determine if a undirected graph can be split into three different sets, under some constraints.

Primary LanguageJavaMIT LicenseMIT

No issues in this repository yet.