A collection of tools used in the enumeration of solution spaces
This collection of tools forms the basis of a pipeline for the complete enumeration of the number of solutions present in a model that maximizes a single objective function.
The Thot toolkit repository has moved to http://daormar.github.io/thot/
Thot is a toolkit for statistical machine translation. The new Thot toolkit includes fully automatic and interactive machine translation, incremental training of statistical models, parallel estimation, ...
An SQL handler to interface multiple databases data to the OpeNDAP Hyrax (BES) server. Written in C++, it uses unixODBC to query DB and can be dynamically extended to use proprietary ODBC API driver in many easy ways. It is bundled with scripts to ge