guneykan / 2SAT-Algorithm-in-C- Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Algoritm to solve 2Sat problem and illustration of Tarjan's algorithm.

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
Description		Description
Makefile		Makefile
README.md		README.md
input		input
main.cc		main.cc

Repository files navigation

2SAT-Problem

Algoritm to solve 2Sat problem and illustration of Tarjan's algorithm.

About

Algoritm to solve 2Sat problem and illustration of Tarjan's algorithm.

Report repository

Releases

No releases published

Packages

No packages published

Languages