X

Latest News

Google Australia Eureka Award 2010

Opturion’s Lazy Clause Generation hybrid solver won the inaugural Google Australia Eureka Award in 2010 for innovations in computer science and has been ranked amongst the worlds most efficient and scalable optimisation engine.