/tableaux_py

a basic python tableau reasoner for ALC

This repository is not active