nonick / mathlogic

Mathematical logic homeworks. 3rd term.

https://github.com/shd/logic2014

homework# содержит входные данные и вывод для соответствующего номера задания.
Юнит-тесты запускают алгоритм для всех файлов *.in в соответствующих заданию директориях.

hw4: deduce.sh [srcDir] [dstDir] запускает теорему о дедукции на всех файлах из srcDir (default: тесты из logic2014) и сохраняет результат в директорию dstDir (default: stdout)
         verify.sh [srcDir] [dstDir] проверяет доказательства во всех файлах из srcDir и сохраняет результат в директорию dstDir (default: stdout)
hw8: test.sh [srcDir] запускает проверку равенства на всех файлах из srcDir (default: тесты из logic2014) и выводит результат на экран