aboutsummaryrefslogtreecommitdiff
path: root/scripts/sat_solution.py
Commit message (Expand)AuthorAge
* Implementing main loopKarel Kočí2015-02-03
* Python scripts addedKarel Kočí2015-01-14