~verifytapn/verifytapn/1.0

Viewing all changes in revision 59.

  • Committer: Lasse Jacobsen
  • Date: 2010-12-07 14:21:50 UTC
  • Revision ID: lassejac@lassejac-laptop-20101207142150-vzhdfd8rj05q9r3x
- added some experimental sorting to the symmetry reduction

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: