RiSE4fun is currently not available.
Overview System Requirements Reviews Related


Discover and play with the latest software engineering tools from Microsoft Research right in your phone! Rise4fun features 15+ advanced tools that deal with software testing, verification, concurrency, empirical studies, theorem proving and more…  Download this application and impress your friends by solving Sudoku puzzles using first order logic!


Additional information

Published by

Microsoft Corporation

Developed by

Microsoft Corporation

Approximate size

445 KB

Age rating

Not Rated


Get this app while signed in to your Microsoft account and install on up to ten Windows 10 devices.

Language supported

English (United States)

Report this product

Sign in to report this app to Microsoft