Solving Missionaries and Cannibals Problem with Simulink Design Verifier

버전 1.1.0.0 (33.7 KB) 작성자: Mikhail
Missionaries and Cannibals Problem solved with Simulink Design Verifier (and simple visualization)
다운로드 수: 177
업데이트 날짜: 2017/1/23

라이선스 보기

편집자 메모: 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.

인용 양식

Mikhail (2024). Solving Missionaries and Cannibals Problem with Simulink Design Verifier (https://www.mathworks.com/matlabcentral/fileexchange/61198-solving-missionaries-and-cannibals-problem-with-simulink-design-verifier), MATLAB Central File Exchange. 검색됨 .

MATLAB 릴리스 호환 정보
개발 환경: R2016b
모든 릴리스와 호환
플랫폼 호환성
Windows macOS Linux

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!
버전 게시됨 릴리스 정보
1.1.0.0

Use one Scope block for better visualization
Slight update of description

1.0.0.0