I

Iron

The Iron logic for precise reasoning about resources [project website]