tincr PackageAs with any package in Tcl, Tincr must be "required" before any of its commands become available in the Vivado Tcl interface. To do this, access Vivado's Tcl interpreter (vivado -mode tcl in the command prompt or click on Tcl Console in the GUI) and enter the following:
package require tincr
Vivado will load the Tincr packages and a message will be printed to the Tcl prompt indicating what version of Tincr was loaded. Ensure that this matches the version you downloaded.
::tincr:: NamespaceAll commands in Tincr belong to the ::tincr:: namespace. This means calls to commands from Tincr must be prefixed with ::tincr:: (i.e. ::tincr::cells get). It is possible to import all of Tincr's commands into the global namespace with the command namespace import ::tincr::*. The commands from Tincr will override any conflicting symbols in the global namespace.