Can I read DP2PN2Solver Output Guide on EtoBox?

DP2PN2Solver Output Guide by Alexander Segura Ballesteros is a document available to read on EtoBox.

What is DP2PN2Solver Output Guide about?

This document explains the process and outputs of running the DP2PN2Solver program to convert a problem specification into a Bellman net. Running the program will: 1. Create a directory named after the problem instance containing intermediate files. 2. If parsing is successful, output the Bellman net file and log into a subdirectory also named after the problem instance. 3. The Bellman net file can then be used as input for the PN2Solver module to automatically generate solver code.

Author

Alexander Segura Ballesteros

Language

EN