ROSMOP is an instance of MOP for the Robot Operating System (ROS).
ROSMOP compiler, Logic Repository, and examples.
Download the source code
How to Install
ROSMOP currently works integrated with ROSRV. If you have already checked out the ROSRV source code on GitHub by using the --recursive option, you do not have to check out the ROSMOP source code again.
- Run git clone https://github.com/runtimeverification/rosmop.git to check out the source code from the Github repository.
- Add <rosmop_HOME>/bin to your PATH.
- Make sure the build is successful.
If you experience any problems with ROSMOP, please open a new issue on the Issues Page of the project.