GitHub repository: Comenius-Abduction-Team/MHS-MXP-algorithm
Primary language: Java
Description: MHS MXP abduction solver