LK is an implementation of the Lin-Kernighan heuristic for the Traveling Salesman Problem and for the minimum weight perfect matching problem. It is tuned for 2-d geometric instances, and has been applied to certain instances with up to a million cities. Also included are instance generators and Perl scripts for munging TSPLIB instances. <P>This implementation introduces ``efficient cluster compensation'', an experimental algorithmic technique intended to make the Lin-Kernighan heuristic more robust in the face of clustered data.
dnacgr is a program to visualise patterns in DNA and RNA by using Chaos Game representation. It shows the probability of bases and sequences, and can read .fasta and .seq format files. dnacgr can be used for genome analysis, and it reads millions of bases from files in seconds. It runs on the console, and requires SVGAlib. It prints to a file in PNG format.
DREAM (The Distributed Resource Evolutionary Algorithm Machine) seeks to provide the technology and software infrastructure necessary to support the next generation of evolving infohabitants in a way that makes that infrastructure universal, open, and scalable. It will use existing hardware infrastructure in a much more efficient manner, by utilising otherwise-unused CPU time. It will allow infohabitants to co-operate, communicate, negotiate and trade; and emergent behaviour is expected to result. It is expected that there will be an emergent economy that results from the provision and use of CPU cycles by infohabitants and their owners. The DREAM infrastructure will be evaluated with new work on distributed data mining, distributed scheduling, and the modelling of economic and social behaviour.
FaCiLe is a constraint programming library over integer finite domain written in OCaml. It offers all usual facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear), built-in global constraints, and search goals. It also allows you to build easily user-defined constraints and goals (including recursive ones), making pervasive use of OCaml higher-order functionals to provide a simple and flexible interface for the user.
DynaMo is a software library providing classes that take care of the calculation of the motions of objects under the influence of force, torque, and impulse. It can also compute forces for you through the mechanism of constraints. These allow you to easily connect geometries to each other in various ways. A constraint only has to be specified once, and the library will continually enforce it from that moment on by applying the required reaction forces. Over a dozen constraints available, including several types of hinges and a constraint for collision response calculations.
SOLID (Software Library for Interference Detection) is a library for collision detection of three-dimensional objects undergoing rigid motion and deformation. SOLID is designed to be used in interactive 3D graphics applications, and is especially suited for collision detection of objects and worlds described in VRML. Object shapes are represented by primitive shapes (box, cone, cylinder, sphere), and complexes of polytopes (line segments, convex polygons, convex polyhedra). Motion is specified by translations, rotations, and nonuniform scalings of the local coordinate system of each moving object.
The Maximum Entropy Toolkit provides a set of tools and library for constructing maximum entropy (maxent) models in either Python or C++. It features conditional maximum entropy models, L-BFGS and GIS parameter estimation, Gaussian Prior smoothing, a C++ API, a Python extension module, a command line utility, and good documentation.
MpNT is a multi-precision number theory library that provides a base for building cryptographic applications. It may also be used in any other domain where efficient large number computations are required. The library supports integer, modular, and floating point arithmetic with practically unlimited precision. It is both speed efficient and highly portable without disregarding code structure and clarity.