Several examples are provided with the SatEX solver code which can be downoladed from here. More examples are coming soon ..
