Usage
  • 26 views
  • 15 downloads

PSVN Manual (June 20, 2014)

  • Author(s) / Creator(s)
  • This manual describes PSVN, a language for describing state space search problems using multi-valued variables that lends itself to efficient calculation of state's successors and predecessors without having to fully ground the operators. It also describes the PSVN compiler, psvn2c, which accepts PSVN as input and compiles it into efficient C code that can then be incorporated into the search or planning code of one's choice. Finally, it includes a set of tutorial lessons to help you learn how to use PSVN. | TRID-ID TR14-03

  • Date created
    2014
  • Subjects / Keywords
  • Type of Item
    Report
  • DOI
    https://doi.org/10.7939/R3JZ1V
  • License
    Attribution 3.0 International