An application for reasoning about future events from user-provided possibly partially contradictory situation calculus. BSD-2-Clause license.