Implementation of multi-agent abduction based on doxastic temporal logic models, written as part of my master's thesis. Chapter 3 concerns the implementation including design, algorithms, and benchmarks. Instructions on compilation and usage can be found in section 3.1.3.