WalkSat in presence of evidence not implemented - Githubissues

somdeb / magician

0 stars 1 forks source link

WalkSat in presence of evidence not implemented #6

Open somdeb opened 9 years ago

somdeb commented 9 years ago

Dependecy on Issue #1

somdeb commented 9 years ago

Made a quick-fix when we have complete evidence.