Function main

test/test_2sat.cpp:45–50

}

int main() {
    test_2sat_example_usage();
    test_2sat_article_example();
    test_2sat_unsatisfiable();
    test_2sat_other_satisfiable_example();
}