A Proof Search Implementation in Python for Justification Logic

The code as well as the test files are found in the folder 'code'. It is written in Python 3.2.3 and was developed using a unix system (Debian wheezy). Not further integration tests have been made.