Felix, S. SATInterface [Computer software]. https://github.com/deiruch/SATInterface