canopy | sampling strategy that can be

canopy is a Java library. canopy has no bugs, it has a Permissive License and it has low support. However canopy has 1 vulnerabilities and it build file is not available. You can download it from GitHub.

The sampling of paths is governed by a sampling strategy that can be used for implementing heuristics for exploring the state space of the program. Currently, Canopy provides three different strategies:. In addition, there is also support for exhaustive analysis, which reports results in a similar format as the sampling-based approaches. An important aspect of Canopy is that it supports path pruning: When a path has been sampled, Canopy prevents it from being sampled again, i.e., Canopy guarantees progress which converges to an exhaustive analysis. It also supports incremental solving and constraints caching, which improves performance by several orders of magnitude. In addition, Canopy provides notions of reward function, reporting functionalities, real-time visualization of results, etc. The latter gives snapshots of rewards over time, reward histograms, and live views of the search tree. In summary, Canopy provides a unified platform that lets experimenters accurately evaluate and compare different heuristics for path exploration.