This project was developed for MFES subject @FEUP where the goal is to create a VDM++ program, its tests and later generate Java code from it and be able to run it.
Open the project in your prefered IDE and run Main.java in "MFES_Pyramid_Solitaire/generated/java/src/PyramidSolitaire/" or create a .jar file. The instructions are in the actual game.