ABOUT: 

Quantomatic is a piece of software for reasoning about monoidal theories. In particular, it was designed to reason about quantum information processing.

More details are available at: 

  http://sites.google.com/site/quantomatic/


LICENSE: 

This software is under the GNU General Public License (GPL). This is described in detail at: 

  http://www.gnu.org/licenses/

You can also see docs/LICENSE.txt for the full details. 


DISCLAIMER: 

This software is provided "as is": you use the software at your own risk and we make no warranties of any sort. 

See docs/DISCLAIMER.txt for more about how little responsibility we take.