|
Sierrameta is a simple, browser-based integrated development environment (IDE) for Epilog. It allows users to view and edit metadata and datasets and rulesets. It provides tools for proof extraction, tracing, and error checking.
Click the About button above to show or hide this pane. Click the tool buttons in the center of the command bar to show or hide interaction panes for various tools. Click the Rules and Data buttons to show or hide the Rules and Data panes. To get started, enter rules and data in the Rules and Data panes and click the tools buttons to process your data and rules.
|
