A CBLS Engine in SCALA, NOW part of OscaR
Asteroid has been merged with Scampi, to give rise to OScar. Follow us on https://bitbucket.org/oscarlib/oscar/wiki/Home Asteroid offers a powerful framework for developing constraint-based local search solution to combinatorial problems. This technique provides good scalability to real-world problems. It includes a library of standard constraints and invariants to declaratively define the problem you want to solve, and it also provides powerful search mechanisms.
Viciniti Logistics is a tool which provide the facility to the end users to deliver products or do maintenance in minimum time requirement or minimum cost requirement or optimum time/cost requirement.
MScSim Flight Dynamics Model library.