Z3

3 Entries

  • Language(s)
  • Verve: A Type Safe Operating System
    1 hour, 14 minutes, 50 seconds
  • Developers: Rise to the Challenge at RiSE4fun.com
  • Nikolaj Bjørner and Leonardo de Moura: The Z3 Constraint Solver
    15 minutes, 29 seconds