added a solve_model that runs the Alloy Analyzer to find any satisfying instance