Marcus Schäfer 7cee86cf18 Cleanup code to make flake8 happy ... The new version of flake8 is more strict on code checking and complained at several places. This commit fixes the code smells such that flake8 is happy again		2018-10-25 15:52:17 +02:00
..
repository	Cleanup of the iso_tools API docs	2018-04-18 10:03:26 +02:00
__init__.py	Initial structure to support SAT solvables	2016-11-08 18:15:37 +01:00
sat.py	Cleanup code to make flake8 happy	2018-10-25 15:52:17 +02:00