Clepsydra also provides an API for performing a WCET analysis and obtaining the results. For example, the
edu.uci.eecs.doc.clepsydra.ipet package provides an interface to ILP solvers. This interface contains, among other features, a method that saves the solver's output to MPS format.
(While the MPS format is much more common, the special format used by lp_solve is more readable by human eyes. To convert from the MPS format lp_solve format: lp_solve -fmps
/dev/stdout as the
outfile to dump the format to the console.)
Further documentation of the Clepsydra API is available in the Volta distribution and at the Volta web site.