Gecode is a regular participant in the MiniZinc Challenge, a benchmark of constraint solvers organized by the NICTA research centre.
NICTA |
The company was founded in 2006 by Steve Subar and Gernot Heiser as a spinout from NICTA.
•
OK Labs technology is derived from the L4 microkernel which originated in the early 1990s at German research Lab GMD, further developed at IBM Watson Research Center, the University of Karlsruhe in Germany, the University of New South Wales and NICTA.