Interactive
Generate Ceptre Code
Save Program
▲
SETS
Add Set +
Remove Set
Remove Element
Add to currently selected set:
+
▲
PREDICATES
Add Predicate
▲
RULES
Lock All Rules
Add Rule
Interactive
Generate Ceptre Code
Save Initial State
▲
INITIAL STATE
Lock All Atoms
Add Atom
TRANSITIONS
Execute Transition
Execute to Quiescence
Auto Execute
Enter the number of automated transitions.
Filter
Add Filter Group
Start Execution
STATES
FILTERED STATE