Java code:


The settings are for windows, but can code be changed for linux changing the call to expresso.exe in HeurSOP.java


Execution line
> java HeurSOP benchmark Sort Heur 

where

benchmark is the name of file .pla

Sort (int)
0: wd,
1: dw. (best)

Heur (int)
1: DSOP1, 
2: DSOP2, 
3: DSOP3. (best)

see the IWSBP paper for more dettails on the parameters.

-output to monitor:

benchmark  DSOPsize  (# call to Espresso) time in sec.

-output file containing the dsop is the .dsop file

_______________

DSOP.bat: 

performs the DSOP synthesis (best variant: ">java HeurSOP benchmark 1 3") on all the files .pla of the directory and appends the cost values in the log file DSOP.log.