Max-SAT 2016 submission by Markus Wagner (markus.wagner@adelaide.edu.au) If you have any questions, please do not hesitate to contact me. How to use: java SC2016 pathToTheFile System requirements: - Linux OS - Java 1.7 or higher - the file "SC2016ccls" needs to be made executable, e.g. with "chmod +x SC2016ccls" Currently, I have preset a runtime limit of 300 seconds. If you want to change this, please let me know. To the best of my knowledge, no temporary files are created.