Visualizing Truth-Maintenance Systems as supported by library plTms.