Examples

• Hello World
• Hot Cold
• Using Z3-Solver SMT based BP
• Dynamically Adding b-threads
• Using External Events
• Using Priority Based Event Selection Strategy (Tic Tac Toe)
• Learning a BProgram as a gym environment