This repo consists of Python code for creating SAT instances for grid based constraint problems (like Conway's Game of Life oscillators). "SymSAT" refers to its use of symmetry and symbols in defining ...

This contains Python samples for publishing events to Azure Event Grid and consuming events from Azure Event Grid. It also contains a set of management samples that demonstrates how to manage topics ...