PSVN Manual (June 20, 2014)
Loading...
Date
Citation for Previous Publication
Link to Related Item
Abstract
Description
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
Item Type
http://purl.org/coar/resource_type/c_93fc
Alternative
Other License Text / Link
Subject/Keywords
Language
en