Add exchange law and genPiS3
authorAnders <mortberg@chalmers.se>
Fri, 8 May 2015 13:29:25 +0000 (15:29 +0200)
committerAnders <mortberg@chalmers.se>
Fri, 8 May 2015 13:29:25 +0000 (15:29 +0200)
commit4283a392f9d7feb64859b4c3e11550e2387ce3c8
tree535c7cd40b6f7c3cf223f3e4ef1bad774bd48de4
parent7b53932993d55c2de354416b9acd2dbd5b9655f1
Add exchange law and genPiS3
examples/circle.ctt
examples/exchange.ctt [new file with mode: 0644]
examples/pi1s2.ctt
examples/pi4s3.ctt
examples/susp.ctt
examples/truncS2.ctt