Quantomatic is a tool for doing automated graph rewriting.
Standard ML Java Scala OCaml HTML Isabelle Other
Latest commit 76aa66c Apr 8, 2015 @zamdzhiev zamdzhiev Merge pull request #148 from mkoconnor/stable
fix URL in the readme
Permalink
Failed to load latest commit information.
bin
console
core
cosy
docs proper scaling in icns file Apr 28, 2014
examples added some test code and examples Oct 9, 2013
gui
oldcore
rulesets
scala check for query expiry Feb 21, 2015
theory-visualizations
tools Use the "polyc" script provided by Poly/ML to link, if available Aug 2, 2013
.gitignore ignore .gen.ML Dec 16, 2014
README fix URL Apr 8, 2015
README.git
README.release updated release README May 2, 2014
build.xml fixed clean for core. Mar 18, 2012
todo.txt

README

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://quantomatic.github.io/


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.