IFC Checker

The IDS editor

Write rules in a table, with live counts on a model.