Merge pull request #47 from MortenSchou/lazy-pop-longest-prestar

Lazy pop longest prestar

Merge pull request #29 from MortenSchou/solver-instance-json

Add JSON parser for Solver-Instance

Merge pull request #21 from MortenSchou/dual-search

Dual Search

Merge pull request #17 from DEIS-Tools/fifo-poststar

Use FIFO-queue for transitions in post*

Merge pull request #14 from DEIS-Tools/bug-fix-dummy-label

PDA Factory takes dummy label

Merge pull request #13 from DEIS-Tools/reduction-options

Reduction options

Make get_trace return weight of trace in when type=shortest.

Initialize _dest in rule to fix a warning.

Merge pull request #3 from DEIS-Tools/bugfix-weighted

Fixes some bugs in Weighted PDAAAL

Merge branch 'initial-implementation'