Details for solver configuration AbsSynthe P1 (2017)

Name: AbsSynthe (2017)
Version:
Description:
Authors: Romain Brenguier, Ocan Sankur, Guillermo A. Perez, Jean-Francois Raskin
Launch Command: .//run_abssynthe.sh par_synth_conf1 <instance>
Hint:

Specified parameters

Order Name Prefix Value
0 configuration par_synth_conf1
1 instance