Integrated development platform for Atmel microcontrollers.
Free Prolog compiler with constraint solving over finite domains
Elegant and extensible software.