~verifytapn/verifytapn/1.0

  • 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
Filename Latest Rev Last Changed Committer Comment Size
..
example-nets 15 13 years ago Morten Jacobsen rolled back the ptr_vector stuff because we need t Diff
lib 10 13 years ago Morten Jacobsen Added an xml library recommended by boost for pars Diff
src 1 13 years ago Morten Jacobsen Added main.cpp to the project. Diff
.bzrignore 20 13 years ago Morten Jacobsen work on getting the passed/waiting list implemente 43 bytes Diff Download File
boost-software-license.txt 6 13 years ago Morten Jacobsen added boost software license to the repository.. N 1.3 KB Diff Download File