Development
Git on github is used for development. You can check out the latest versions using:
Tntnet
- git clone https://github.com/maekitalo/tntnet
Cxxtools
- git clone https://github.com/maekitalo/cxxtools
Tntdb
- git clone https://github.com/maekitalo/tntdb