8 reviews
This app is no longer published

More from Microsoft Corporation

Download size

< 1 MB

Last updated



Works with

  • Windows Phone 8.1
  • Windows Phone 8
  • Windows Phone 7.5
  • Windows Phone 7

App requires

  • photo, music, and video libraries
  • data services
  • push notification service
  • HD720P (720x1280)
  • WVGA (480x800)
  • WXGA (768x1280)
What's this?

Supported languages (1)

English (United States)
show languages
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!
show details


  • by Frank 8/30/2013
    Nothing works. Sth about a server...
  • by Daniel 6/1/2013
    Noting works. Always says server not found.
  • by ichan 2/10/2013
    Nice compilers for on the go coding urges.
  • by CBrock114 8/6/2011
    This produces no answers... but I'm running Mango - maybe a diff there?
  • by phooji 4/13/2011
  • by Player432178022 3/31/2011
    What is this supposed to do? Anybody else using this app?