Keiishu / Rodin-OXO

Rodin OXO is a simple Rodin modelisation of an OXO game for educational purposes.

Rodin OXO

Rodin OXO is a simple Rodin modelisation of an OXO game for educational purposes.

Requirements

This project requires:

• Java 11
• Rodin 3.6
• ProB plugin
• Atelier B Prover plugin

Installation

To install the app, just follow these steps:

• Open Rodin
• Click on File > Open projects from File System
• Click on Directory
• Select the OXO folder inside src
• Click on Finish

Contributors

You can find all contributors here.

License

All code is licensed for others under MIT License (see LICENSE).