Commit 122e9bff authored by Mahesh Tripunitara's avatar Mahesh Tripunitara
Browse files

Merge branch 'master' of https://bitbucket.org/jshahen/vagabond into ReduceToCNFSAT

parents 5d766d55 96832ae7
......@@ -234,6 +234,12 @@ public class VagabondSettings {
*/
public long numberOfSecondsSolverCanRunPerEpoch = 0;
/**
* <b>TRUE</b> - ILP and CNF SAT will optimize/minimize for the Maximum Client to Client Information Leak;
* <b>FASLE</b> - ILP and CNF SAT will optimize/minimize for the Total/Summation Client to Client Information Leak.
*/
public boolean minimizeMaxClientToClientInfoLeak = false;
// ################################################################
// FUNCTIONS
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment