search

KrusecN13 / SATSolver

0 stars 1 forks source link

Make program runnable from command line #3

Closed jaanos closed 6 years ago

jaanos commented 6 years ago

The last two lines of SATsolver.py are indented, thus making them part of the main function:

https://github.com/KrusecN13/SATSolver/blob/94161d4cfe340d3353bb3d778db8f3fe716e8edf/SATsolver.py#L243-L244

To make your program runnable from the command line, please unindent them.

jaanos commented 6 years ago

I see that this has been solved in c524e27922f27faaef158ed6da8c2f110d2975c5. I've updated the link.