OMTPlan: Optimal Planning Modulo Theories
Functions | Variables
main.py File Reference

Functions

def driver.main.main (BASE_DIR)
 

Variables

string driver.main.val_path = '/bin/validate'
 

Function Documentation

def driver.main.main (   BASE_DIR)
Main planning routine