Below is the list of logic modules that have been implemented with the TWB. The list is always growing and we invite contributions. Please contact us to know more.
NB This page is still work in progress. Some descriptions are still missing and we are working to make the interface more usable.