Reasoning Toolkit | FORTISYT

Reasoning Toolkit on FORTISYT. An active learning environment with a symphonic blend of logic and reasoning.