Commit Graph

5 Commits

Author SHA1 Message Date
hieu
199b826649 add implementations for options update(). Link error on Redhat 7 2017-03-01 11:41:04 +00:00
Ulrich Germann
9528b56242 Set defaults in option group constructors. 2015-12-08 12:43:20 +00:00
Michael Denkowski
56e3bc1ea2 Reintroduce deterministic cube pruning as option
Use --cube-pruning-deterministic-search or --cbds
2015-09-25 11:03:23 +02:00
Ulrich Germann
c4fc7e6610 Update some options via xmlrpc_c calls. 2015-08-07 19:18:24 +01:00
Ulrich Germann
3323a02727 Option reorganisation in StaticData. 2015-08-05 02:15:34 +01:00