Marcus Schäfer bdb7123fa1 Refactor use of logging facility ... Use getLogger method instead of a global log object Also use caplog fixture to capture log messages in unit tests. This Fixes #1244		2019-10-23 17:54:27 +02:00
..
repository	Stop inheriting from object	2019-08-22 15:43:27 +02:00
__init__.py	Initial structure to support SAT solvables	2016-11-08 18:15:37 +01:00
sat.py	Refactor use of logging facility	2019-10-23 17:54:27 +02:00