forester-resource-bounds

forester-resource-bounds

Experimental extension of Forester for Resource Bounds computation.