CoPilot Compare - New car or nearly-new? Compare price savings and features.
OptaPlanner - Mathematical optimization software
Driv.ly Concierge - The easiest way to buy a car
MiniZinc - MiniZinc is a free and open-source constraint modeling language.
Beepi - Next gen used car marketplace
Higson.io - Hyperon is a BRMS, that was created with very large decisions and hyper-performance in mind. It stands out with the concept of the business domain which organizes the whole configuration in easy to manage way.