GitHub - iwcs15-hack/quantomatic: Quantomatic is a tool for doing automated graph rewriting.

iwcs15-hack / quantomatic Public

forked from zxcalc/quantomatic

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Quantomatic is a tool for doing automated graph rewriting.

quantomatic.github.io

0 stars 22 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 2,430 Commits
bin		bin
console		console
core		core
cosy		cosy
docs		docs
examples		examples
gui		gui
oldcore		oldcore
rulesets		rulesets
scala		scala
theory-visualizations		theory-visualizations
tools		tools
.gitignore		.gitignore
README		README
README.git		README.git
README.release		README.release
build.xml		build.xml
todo.txt		todo.txt

Repository files navigation

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.