File Exchange

image thumbnail

Solving Missionaries and Cannibals Problem with Simulink Design Verifier

version 1.1.0.0 (33.7 KB) by Mikhail

Mikhail (view profile)

Missionaries and Cannibals Problem solved with Simulink Design Verifier (and simple visualization)

1 Download

Updated 23 Jan 2017

View License

Editor's Note: This file was selected as MATLAB Central Pick of the Week

The missionaries and cannibals problem is one of the classic river-crossing problems.
Three missionaries and three cannibals must cross a river using a boat which can carry at most two people, under the constraint that, for both banks, if there are missionaries present on the bank, they cannot be outnumbered by cannibals (if they were, the cannibals would eat the missionaries). The boat cannot cross the river by itself with no people on board.
https://en.wikipedia.org/wiki/Missionaries_and_cannibals_problem

You can use either property proving mode (to generate counter example) or test generation mode (to generate test case directly) of Simulink Design Verifier.

Also a simple script for visualization of results is provided. Cannibals are red squares, missionaries are green circles, the boat is a triangle.

Comments and Ratings (1)

This is great. Thanks for sharing it. I will use it as an example in college workshops.

Updates

1.1.0.0

Slight update of description

1.1.0.0

Use one Scope block for better visualization

MATLAB Release Compatibility
Created with R2016b
Compatible with any release
Platform Compatibility
Windows macOS Linux

Discover Live Editor

Create scripts with code, output, and formatted text in a single executable document.


Learn About Live Editor