from _apnsmod import *

algos = {
  'pns': (ProofNumberSearch, 'Proof-Number Search'),
  'dfpns': (DepthFirstPNS, 'Depth-First Proof-Number Search')
#  'pdspn': (PDSPN, 'PDS-PN'),
#  'pds': (PDS, 'PDS')
#  'pypns': (PyPNS, 'Python PNS')
}
